Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-2/src/compiler/FLINT/trans/translate.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1981, Tue Jul 18 02:03:32 2006 UTC revision 1982, Tue Jul 18 02:39:07 2006 UTC
# Line 863  Line 863 
863                (* compute intrinsic instantiation params of intrinsicType *)                (* compute intrinsic instantiation params of intrinsicType *)
864                case ((TU.matchInstTypes(occty, intrinsicType)) : (TP.tyvar list * TP.tyvar list) option )                case ((TU.matchInstTypes(occty, intrinsicType)) : (TP.tyvar list * TP.tyvar list) option )
865                  of SOME(_, tvs) =>                  of SOME(_, tvs) =>
866                     (print ("tvs length "^ (Int.toString (length tvs)) ^"\n");                     ((*print ("tvs length "^ (Int.toString (length tvs)) ^"\n");
867                      complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPVal.ppDebugVar (fn x => "") ppstrm env e);                      complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPVal.ppDebugVar (fn x => "") ppstrm env e);
868                      map TU.pruneTyvar tvs)                      if (length tvs) = 1 then complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPType.ppType env ppstrm (TP.VARty (hd tvs))) else ();
869                        *)map TU.pruneTyvar tvs)
870                   | NONE => (complain EM.COMPLAIN "matchInstTypes"                   | NONE => (complain EM.COMPLAIN "matchInstTypes"
871                                (fn ppstrm =>                                (fn ppstrm =>
872                                      (PP.newline ppstrm;                                      (PP.newline ppstrm;

Legend:
Removed from v.1981  
changed lines
  Added in v.1982

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0