SCM Repository
[diderot] Diff of /trunk/src/compiler/typechecker/util.sml
Diff of /trunk/src/compiler/typechecker/util.sml
Parent Directory
| 
Revision Log
| 
Patch
| 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 |
|
|
