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