Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /trunk/src/compiler/typechecker/util.sml
ViewVC logotype

Diff of /trunk/src/compiler/typechecker/util.sml

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

revision 241, Fri Aug 6 14:07:20 2010 UTC revision 242, Fri Aug 6 15:25:03 2010 UTC
# Line 160  Line 160 
160                  in                  in
161                    (mv'::mvs, MV.Map.insert(env, mv, mv'))                    (mv'::mvs, MV.Map.insert(env, mv, mv'))
162                  end                  end
163            val (mvs, env) = List.foldl instantiateVar ([], MV.Map.empty) mvs            val (mvs, env) = List.foldr instantiateVar ([], MV.Map.empty) mvs
164            fun iDiff (Ty.DiffVar(k, i)) = (case MV.Map.find(env, Ty.DIFF k)            fun iDiff (Ty.DiffVar(k, i)) = (case MV.Map.find(env, Ty.DIFF k)
165                   of SOME(Ty.DIFF k) => Ty.DiffVar(k, i)                   of SOME(Ty.DIFF k) => Ty.DiffVar(k, i)
166                    | _ => raise Fail "impossible"                    | _ => raise Fail "impossible"

Legend:
Removed from v.241  
changed lines
  Added in v.242

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