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_DONTWAIT
isn’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
bool
and_bool
in 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.pack
doesn’t keep a small heap if a garbage collection occurs beforeMLton.GC.unpack
.-
It might be preferable for
MLton.GC.pack
to be implemented as a (new)MLton.GC.Ratios.setLive 1.1
followed byMLton.GC.collect ()
and forMLton.GC.unpack
to be implemented asMLton.GC.Ratios.setLive 8.0
followed 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.c
frombasis-ffi.def
-
generate
constants
fromgen-constants.c
andlibmlton.a
-
similar to
gen-sizes.c
andsizes
-
-
eliminate "Windows hacks" for Cygwin from
Path
module -
extend IL type checkers to check for empty property lists
-
make (unsafe)
IntInf
conversions into primitives