updated for SML/NJ 110.72

[bpt/mlt.git] / src / mlt.sml

diff --git a/src/mlt.sml b/src/mlt.sml
index 099cae3..2600fa4 100644 (file)
--- a/src/mlt.sml
+++ b/src/mlt.sml
@@ -100,7 +100,7 @@ struct
                                         errorStrct)
 
        fun getStr (STRCT {elements, eenv, ...}, v, pos) = 
-           (case ModuleUtil.getStr (elements, eenv, Symbol.strSymbol v, Access.nullAcc, II.Null) of
+           (case ModuleUtil.getStr (elements, eenv, Symbol.strSymbol v, Access.nullAcc, []) of
                 (Modules.STR {rlzn = {entities, ...}, sign = Modules.SIG {elements, ...}, ...}, _) =>
                 STRCT {elements = elements, eenv = entities}
               | _ => raise Fail "Unexpected spec in getStr")
@@ -184,7 +184,7 @@ struct
                    let
                        val sym = Symbol.strSymbol v
                    in
-                       (case ModuleUtil.getStr (elements, eenv, sym, Access.nullAcc, II.Null) of
+                       (case ModuleUtil.getStr (elements, eenv, sym, Access.nullAcc, []) of
                             (str as Modules.STR {rlzn = {entities, ...}, sign = Modules.SIG {elements, ...}, ...}, _) =>
                             (elements, entities, str)
                           | _ => raise Fail "Unexpected spec in resolveStructure")
@@ -210,7 +210,7 @@ struct
            end
 
        fun tyToString (STATE {env, ...}) ty =
-           PrettyPrint.pp_to_string 65535 (PPType.ppType env) ty
+           PrettyPrintNew.pp_to_string 65535 (PPType.ppType env) ty
 
        fun printFn (state as STATE {config, env, ...}) ty =
            let