Update for SMLNJ 110.74

`Unify.unifyTy' wants a source region. Pass the null region, since MLT
doesn't have working support for tracking source positions anyway.

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);