Matthew Fluet ( matthew.fluet@gmail.com , http://www.cs.rit.edu/%7Emtf ) is an Assistant Professor at the Rochester Institute of Technology.
Current MLton projects:
-
general maintenance
-
release new version
Misc. and underspecified TODOs:
-
understand RefFlatten and DeepFlatten
-
MSG_DONTWAITisn’t Posix -
coordinate w/ Dan Spoonhower and Lukasz Ziarek and Armand Navabi on multi-threaded
-
Intel Research bug:
no tyconRep property(company won’t release sample code) -
treatment of real constants
-
representation of
booland_boolin ForeignFunctionInterface -
-
John Reppy claims that "It looks like the card-marking overhead that one incurs when using generational collection swamps the benefits of generational collection."
-
-
page to disk policy / single heap
-
MLton.GC.packdoesn’t keep a small heap if a garbage collection occurs beforeMLton.GC.unpack.-
It might be preferable for
MLton.GC.packto be implemented as a (new)MLton.GC.Ratios.setLive 1.1followed byMLton.GC.collect ()and forMLton.GC.unpackto be implemented asMLton.GC.Ratios.setLive 8.0followed byMLton.GC.collect ().
-
-
The
static struct GC_objectType objectTypes[] =array includes many duplicates. Objects of distinct source type, but equivalent representations (in terms of size, bytes non-pointers, number pointers) can share the objectType index. -
PolySpace bug: Redundant optimization (company won’t release sample code)
-
treatment of exception raised during BasisLibrary evaluation
-
Use
memcpy -
Implement more 64bit primops in x86 codegen
-
Enrich path-map file syntax:
-
PolySpace bug: crash during Cheney-copy collection
-
eliminate
-build-constants-
all
_const-s are known byruntime/gen/basis-ffi.def -
generate
gen-constants.cfrombasis-ffi.def -
generate
constantsfromgen-constants.candlibmlton.a -
similar to
gen-sizes.candsizes
-
-
eliminate "Windows hacks" for Cygwin from
Pathmodule -
extend IL type checkers to check for empty property lists
-
make (unsafe)
IntInfconversions into primitives