type safe Machine IL, code generator, and runtime
Stephen Weeks
MLton@sourcelight.com
Wed, 5 Dec 2001 11:33:10 -0800
Here's a list that I'd had sitting around for a while of things that
are not statically checked in MLton's backend/codegen/runtime, but it
would be nice if they were.
handlers
calling conventions
argument/result passing
continuation and handler used or not
limit checks
gc interface
gc itself
signal handling
bogus values needed for useless analysis
array initialization
bounds checks
efficient (data)type representations
I'm not going anywhere with this, I just thought it was an interesting
list.