HCoop
/
hcoop
/
mlt.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8a545f7
)
Update for SMLNJ 110.74
master
author
Clinton Ebadi
<clinton@unknownlamer.org>
Fri, 21 Feb 2014 09:10:32 +0000
(
04:10
-0500)
committer
Clinton Ebadi
<clinton@unknownlamer.org>
Fri, 21 Feb 2014 09:10:32 +0000
(
04:10
-0500)
`Unify.unifyTy' wants a source region. Pass the null region, since MLT
doesn't have working support for tracking source positions anyway.
src/mlt.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/mlt.sml
b/src/mlt.sml
index
2600fa4
..
1a4d0e8
100644
(file)
--- a/
src/mlt.sml
+++ b/
src/mlt.sml
@@
-128,7
+128,7
@@
struct
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);