mlkit
mlkit copied to clipboard
Standard ML Compiler and Toolkit
I have a trivial `test.mlb` file containing single line: ``` $(SML_LIB)/basis/basis-1997.mlb ``` I can successfully compile this with `mlton test.mlb`, but `mlkit test.mlb` gives an error: ``` * Error: The...
Investigate the possibility of not associating type variables with region variables in types. There are three aspects of the MLKit type system that, when combined, seem to lead to unsoundness....
In some cases, when garbage collection is enabled, region variables with type `RT_BOT` are forced into arrow effects, which serves to guarantee that no dangling pointers occur during evaluation. Here...
This PR allows for reals to be passed to functions unboxed in xmm registers. An arbitrary number of unboxed floats can be passed to functions (up to 8 in xmm...
MLBasis includes the signature, structure and functor definition as part of basdec. http://mlton.org/MLBasisSyntaxAndSemantics
This issue tracks overall problems with compiling MLton with MLKit. Related issues: - [x] #100 - [x] #102 (compilation of MLton now takes 19m42s) - [x] #101 - [x] #97...
The MLKit native backend uses a uniform representation of values, which is important for compiling generic code (e.g., functions) separately from the code that uses it. Still, under these constraints...
The aim of this task is to make it possible to rewrite SMLserver to make it work with native x64 machine code. Such a rewrite allows for removing the KAM...