val t1 = ModuleUtil.transType eenv t1
val t2 = ModuleUtil.transType eenv t2
in*)
- Unify.unifyTy (t1, t2)
+ Unify.unifyTy (t1, t2, SourceMap.nullRegion, SourceMap.nullRegion)
(*end*)
handle Unify.Unify msg =>
((*PrettyPrint.openBox ppstream (PrettyPrint.Abs 0);