CVS: sml-dist/src/compiler/FLINT/trans translate.sml, 1.33.4.11, 1.33.4.12
George Kuan <[email protected]> Mon, 17 Jul 2006 19:39:09 -0700
| Newsgroups | gmane.comp.lang.sml.smlnj.commits |
|---|---|
| Message-ID | <[email protected]> |
Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv20057/src/compiler/FLINT/trans
Modified Files:
Tag: primop-branch-2
translate.sml
Log Message:
commented out some Translator and TypesUtil debugging info
Index: translate.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/trans/translate.sml,v
retrieving revision 1.33.4.11
retrieving revision 1.33.4.12
diff -C2 -d -r1.33.4.11 -r1.33.4.12
*** translate.sml 18 Jul 2006 02:03:32 -0000 1.33.4.11
--- translate.sml 18 Jul 2006 02:39:07 -0000 1.33.4.12
***************
*** 864,870 ****
case ((TU.matchInstTypes(occty, intrinsicType)) : (TP.tyvar list * TP.tyvar list) option )
of SOME(_, tvs) =>
! (print ("tvs length "^ (Int.toString (length tvs)) ^"\n");
complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPVal.ppDebugVar (fn x => "") ppstrm env e);
! map TU.pruneTyvar tvs)
| NONE => (complain EM.COMPLAIN "matchInstTypes"
(fn ppstrm =>
--- 864,871 ----
case ((TU.matchInstTypes(occty, intrinsicType)) : (TP.tyvar list * TP.tyvar list) option )
of SOME(_, tvs) =>
! ((*print ("tvs length "^ (Int.toString (length tvs)) ^"\n");
complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPVal.ppDebugVar (fn x => "") ppstrm env e);
! if (length tvs) = 1 then complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPType.ppType env ppstrm (TP.VARty (hd tvs))) else ();
! *)map TU.pruneTyvar tvs)
| NONE => (complain EM.COMPLAIN "matchInstTypes"
(fn ppstrm =>
-------------------------------------------------------------------------
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