The Death of the Mind

meow

Bonus Merlin Pic

Oh hey, I guess I can use fancy galleries without wordpress.com.

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.