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-3/compiler/ElabData/types/typesutil.sml
ViewVC logotype

Diff of /sml/branches/primop-branch-3/compiler/ElabData/types/typesutil.sml

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

revision 2397, Wed Apr 11 14:46:59 2007 UTC revision 2398, Wed Apr 11 18:54:53 2007 UTC
# Line 570  Line 570 
570                then ()                then ()
571                else tv := INSTANTIATED ty1                else tv := INSTANTIATED ty1
572            | match'(ty1, VARty(tv as ref(INSTANTIATED ty2))) =            | match'(ty1, VARty(tv as ref(INSTANTIATED ty2))) =
573                if equalType(ty1,ty2) then () else (debugmsg' "INSTANTIATED"; raise CompareTypes)                if equalType(ty1,ty2) then ()
574                  else (debugmsg' "INSTANTIATED"; raise CompareTypes)
575            (* GK: Does this make sense? matchInstTypes should not apply            (* GK: Does this make sense? matchInstTypes should not apply
576                   as is if all the metavariables have been translated                   as is if all the metavariables have been translated
577                   into TV_MARKs *)                   into TV_MARKs *)
# Line 883  Line 884 
884                    (case kind of                    (case kind of
885                         ABSTRACT itc => let                         ABSTRACT itc => let
886                             val tk = LT.tkc_int arity                             val tk = LT.tkc_int arity
 (*  
                            val tps = TP_VAR (TVI.toExn  
                                                  {depth=depth, num=i, kind=tk})  
 *)  
887                             val tps = tp_var { depth=depth, num=i, kind=tk}                             val tps = tp_var { depth=depth, num=i, kind=tk}
888                             val nkind = FLEXTYC tps                             val nkind = FLEXTYC tps
889                             val ntc =                             val ntc =

Legend:
Removed from v.2397  
changed lines
  Added in v.2398

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