mlton
mlton copied to clipboard
MLton
The MLton repository
Looking at the closed issues, it seems that some users had problems building MLton, either because of GMP, or of MinGW. This leads me to asking: would it be possible...
Using a bit of Lua like string pattern replacements and adding the tokens from the lexer manually to obtain an EBNF understood by https://www.bottlecaps.de/rr/ui we can have a nice railroad...
Hello! It would be great to have official release binaries built against musl.
From examination of the IR in many, there are frequent cases where the inputs to a simple testing block are known, and the test could be skipped. Known case will...
Several pieces of code are left around in the representation that are completely dead, but are obviously tterminating because they follow simple arithmetic calculations, or shrinking induction on datatypes (which...
There are several opportunities for late datatype improvements that are not being taken advantage of: - Eliminating redundant fields, potentially deeply nested, in datatypes - Turning tuples of variants into...
With the split types pass, non-interfering usages of datatypes become distinct datatypes. Code was added for https://github.com/MLton/mlton/pull/288 that performs an analysis of datatype size, and such code is often quite...
Right now, any distinct constructor (that can't be flattened to an unboxed representation) at the SSA2 level is translated to a unique tag at runtime. Instead, we may combine some...
It was noticed with type spliting https://github.com/MLton/mlton/pull/285 that there was a performance penalty for boolean-like types that were changed to another type. A very naiive translation to Word32's was able...
With the SourceForge outage taking out mlton.org, the web-based wiki is inaccessible. It would be nice to have at least mlton.github.io set up during this time, pointing to the asciidoc...
