* src/mlt.sml: Pass [] as the last argument to ModuleUtil.getStr. Use
PrettyPrintNew instead of PrettyPrint.
* src/sources.cm: Import the compiler library.
errorStrct)
fun getStr (STRCT {elements, eenv, ...}, v, pos) =
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")
(Modules.STR {rlzn = {entities, ...}, sign = Modules.SIG {elements, ...}, ...}, _) =>
STRCT {elements = elements, eenv = entities}
| _ => raise Fail "Unexpected spec in getStr")
let
val sym = Symbol.strSymbol v
in
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")
(str as Modules.STR {rlzn = {entities, ...}, sign = Modules.SIG {elements, ...}, ...}, _) =>
(elements, entities, str)
| _ => raise Fail "Unexpected spec in resolveStructure")
end
fun tyToString (STATE {env, ...}) ty =
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
fun printFn (state as STATE {config, env, ...}) ty =
let
$/ml-yacc-lib.cm
$smlnj/compiler/current.cm
$/ml-yacc-lib.cm
$smlnj/compiler/current.cm
+ $smlnj/viscomp/basics.cm