Matthew Fluet

Conversion of ref/array/vector types to generic pointer for FFI

1

_On Fri, 11 Apr 2014, John Reppy wrote:_ I've been working on a new version of the SML3d library (based on the programmable core profile) and there is a feature...

See https://github.com/RedPRL/sml-redprl/pull/570#issuecomment-363211850 Another instance of the compile-memory performance problems with DeepFlatten; see links at the bottom of http://mlton.org/DeepFlatten).

Implement additional IntInf operations using GMP.

2

There are a number of number theoretic functions implemented by GMP that would be beneficial to implement and expose as `MLton.IntInf.*` functions. In particular, `lcm` (least common multiple) would be...

Consider Ref_alloc and Ref_uninit primitives

1

It would be possible to extend the ideas from #207 to references. For example, we could have: ``` sml structure Unsafe.Ref: sig val alloc: unit -> 'a ref val uninit:...

#217 updated the stack-allocation strategy in the RSSA to Machine translation: * Do not force `Cont` block arguments to stack (7ec42a1) * Improve `Allocation.Stack.get` (31b6e29) Unfortunately, the improved `Allocation.Stack.get` has...

Long compile times for RedPRL

4

See RedPRL/sml-redprl#394; present at RedPRL/sml-redprl@ba89d597751dfccdde2d3dcc0f690a985b646e3b. Both the native amd64 and C codegens exhibit excessively long compile times (> 10min), which suggests that the Machine IR program has some inherent structure...

- [ ] Start the def-use info file with a version number - [ ] Annotate the type identifiers in variable types with their definition point (perhaps assign a unique...

- [ ] Add a link from `CompileTimeOptions` page to `EmacsDefUseMode` page - [ ] Document def-use output format

Type equality of monomorphic and polymorphic Char.char vectors exposed

2

MLton exposes the type equality of monomorphic and polymorphic `Char.char` vectors: ``` SML fun 'a id (x: 'a) : 'a = x val _ : CharVector.vector -> Char.char Vector.vector =...

Missing optimizations in `flat-array.sml` benchmark

3

The [`flat-array.sml`](https://github.com/MLton/mlton/blob/on-20130715-release/benchmark/tests/flat-array.sml) benchmark was added to demonstrate the [DeepFlatten](http://mlton.org/DeepFlatten) SSA2 optimization. However, the C and LLVM codegens, at sufficiently high optimization levels, are able to eliminate the arithmetic computation from...