mlyacc src/domtool.grm
mlton -link-opt -ldl -stop tc -output bin/domtool-client src/domtool-client.mlb
Warning: src/printFn.sml 141.5.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case d of (DExternType name) => ( ... ace 1, ident name]))
Warning: src/printFn.sml 163.5.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case d of (DExternType name) => ( ... name, ident name)])
Warning: src/tycheck.sml 642.5.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case d of (DExternType name) => ( ... (bindContext G name)
Warning: src/order.sml 128.5.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case d of (DExternType name) => ( ... text G name, empty))
Warning: src/printFn.sml 141.5.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case d of (DExternType name) => ( ... ace 1, ident name]))
Warning: src/printFn.sml 163.5.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case d of (DExternType name) => ( ... name, ident name)])
Warning: src/autodoc.sml 224.6.
Case is not exhaustive.
missing pattern: (DEnv _)
in: case annotate_decl d of (DExternT ... actions, vals, evs))
I’m adding a minor new language feature to domtool:
env CSymbol [: type] = exp
(* analogous to val Symbol [: type] = exp *)
It will make writing extensions that use environment vars easier… you /can/ already CSymbol = exp to set an environment variable default, but you can not specify a type (important in a few cases like the WWW environment variable). The typechecker internals aren’t exactly my area of expertise, but, hooray, the compiler has already told me every source location that I need to inspect to add support.
