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 1980, Tue Jul 18 01:10:33 2006 UTC revision 1981, Tue Jul 18 02:03:32 2006 UTC
# Line 862  Line 862 
862            val intrinsicParams =            val intrinsicParams =
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) => (print ("tvs length "^ (Int.toString (length tvs)) ^"\n"); map TU.pruneTyvar tvs)                  of SOME(_, tvs) =>
866                       (print ("tvs length "^ (Int.toString (length tvs)) ^"\n");
867                        complain EM.WARN "mkVE ->matchInstTypes -> pruneTyvar " (fn ppstrm => PPVal.ppDebugVar (fn x => "") ppstrm env e);
868                        map TU.pruneTyvar tvs)
869                   | NONE => (complain EM.COMPLAIN "matchInstTypes"                   | NONE => (complain EM.COMPLAIN "matchInstTypes"
870                                (fn ppstrm =>                                (fn ppstrm =>
871                                      (PP.newline ppstrm;                                      (PP.newline ppstrm;

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

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