Troels Henriksen
Troels Henriksen
The various polling functions from `OS.IO` are missing from the MLKit implementation of the Basis library: https://smlfamily.github.io/Basis/os-io.html#SIG:OS_IO.pollDesc:VAL:SPEC
The MLKit basis library does not contain the (optional) [UnixSock](https://smlfamily.github.io/Basis/unix-sock.html) module. Since MLKit does contain the [Socket](https://smlfamily.github.io/Basis/socket.html) module, I think the implementation of UnixSock could probably be adapted from MLton.
Starting with GCC 14, the the latest (ten year old) release of MosML will no longer cpmpile, as the missing include of `` in `src/config/auto-aux/sizes.c` becomes an error. This was...
The goal is to eventually provide more useful profiling information, with references to the original source code. However, it is crucial that this does not overly burden the various compiler...
This allows arithmetic expressions involving constant integers to be considered equal, e.g. 3+2 now unifies with 5 (or with 6-1 for that matter). This is a fairly safe extension, because...
Gnuplot can produce heat maps, but it requires that the data files are formatted in special ways, so the general `:gnuplot` command is not sufficient. It would be nice to...
```Futhark -- == -- input { 1i64 2i64 } output { [0.0,0.0] } def f (n: i64) (m: i64) (g: f64 -> [m ** n]f64) = g 0 entry main...
This produces invalid code after AD: ``` entry scan_arr_add [n] (inp: [2][n]f32) (adj: [2][n]f32) : [2][n]f32 = let adj = vjp (scan (\x y -> [x[0] + y[0], x[1] +...
```Futhark -- Duplication of entry points because monomorphisation thought the -- second use had a different type (because it is a more specific size -- instantiation). entry foo [n] [m]...