CVS: sml/src/smlnj-lib/Util interval-set-fn.sml,1.1,1.2
John Reppy <[email protected]>
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml/src/smlnj-lib/Util In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv29930/Util Modified Files: interval-set-fn.sml Log Message: Fixed bug in intersect function. Index: interval-set-fn.sml =================================================================== RCS file: /cvsroot/smlnj/sml/src/smlnj-lib/Util/interval-set-fn.sml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** interval-set-fn.sml 25 Oct 2005 15:38:51 -0000 1.1 --- interval-set-fn.sml 31 Oct 2005 16:47:44 -0000 1.2 *************** *** 170,174 **** (a2, b1) :: meet (r1, r2) | GREATER => (* a1 < a2 < b1 & b2 < b1 *) ! (a2, b1) :: meet (cons(D.succ b2, b1, r1), r2) (* end case *)) (* end case *)) --- 170,174 ---- (a2, b1) :: meet (r1, r2) | GREATER => (* a1 < a2 < b1 & b2 < b1 *) ! (a2, b2) :: meet (cons(D.succ b2, b1, r1), r2) (* end case *)) (* end case *)) ------------------------------------------------------- This SF.Net email is sponsored by the JBoss Inc. Get Certified Today * Register for a JBoss Training Course Free Certification Exam for All Training Attendees Through End of 2005 Visit http://www.jboss.com/services/certification for more information