CVS: sml-dist/src/compiler/FLINT/reps coerce.sml, 1.8.24.1, 1.8.24.2

David MacQueen <[email protected]> Mon, 02 Oct 2006 15:44:32 -0700
Newsgroups gmane.comp.lang.sml.smlnj.commits
Message-ID <[email protected]>
Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/reps
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv7228/src/compiler/FLINT/reps

Modified Files:
      Tag: primop-branch-2
	coerce.sml 
Log Message:
fixed LtyKernel.tc_eqv for TC_FIX case

Index: coerce.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/reps/coerce.sml,v
retrieving revision 1.8.24.1
retrieving revision 1.8.24.2
diff -C2 -d -r1.8.24.1 -r1.8.24.2
*** coerce.sml	11 Aug 2006 20:42:24 -0000	1.8.24.1
--- coerce.sml	2 Oct 2006 22:44:29 -0000	1.8.24.2
***************
*** 267,271 ****
            end
       | (_, _) => 
!           if LT.tc_eqv_x(nx, ox) then NONE
            else (say " Type nx is : \n"; say (LT.tc_print nx);
                  say "\n Type ox is : \n"; say (LT.tc_print ox); say "\n";
--- 267,271 ----
            end
       | (_, _) => 
!           if LT.tc_eqv(nx, ox) then NONE
            else (say " Type nx is : \n"; say (LT.tc_print nx);
                  say "\n Type ox is : \n"; say (LT.tc_print ox); say "\n";


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV