malfunction
malfunction copied to clipboard
stedolan
Malfunctional Programming
This pull-request contains the diff necessary to get malfunction to compile (and pass all tests) in an ocaml 5.0 opam switch This patch is bad for the following reasons: -...
http://www.cl.cam.ac.uk/~sd601/papers/malfunction.pdf
I copied the contents of the opam file in opam-repository, removed the upper bound on OCaml version and put an upper bound on the `omd` package (it didn't compile on...
Here's a program reading out of bounds: ```bash $ echo '(module (_ (load.byte "" 1)) (export))' > example.mlf $ malfunction compile example.mlf -o example ``` The program compiles fine. Then...
If I change the implementation of module `X` but not its interface, it would be nice to not have to recompile all modules (transitively) depending on `X`. With `ocamlopt`, this...
Does malfunction expose ocaml exceptions (and if not, what's required to make that happen)? Both for ocaml interop and as a target for languages supporting exceptions, that would be a...
Malfunction is currently restricted to looking up identifiers on the standard OCaml search path, which limits malfunction programs to only accessing the standard library. It would be nice to be...
Hi, is there any hope of support for OCaml 4.14 and below. The Coq developers have been thinking about using malfunction as a target for our native compilation.
We would like to have a new release including PR #38 (we can take care of opam packaging if you like, and don't need ocaml 5 support), so as to...
