mlsub
mlsub copied to clipboard
stedolan
Prototype type inference engine
What happened to 'fun' and how do I use this thing ? It might be an idea to update the README.
``` $ make ocamlbuild -no-hygiene -r -cflag -bin-annot -cflag -g -lflag -g -pkg menhirLib -pkg str -use-menhir -yaccflag --explain -yaccflag --table main.byte + ocamlc.opt -c -bin-annot -g -I /home/aaron/.opam/default/lib/menhirLib -I...
Getting the following :- ``` File "camlgen.ml", lines 31-61, characters 16-28: 31 | ................(loc, Some exp) = match exp with 32 | | Var v -> CVar v 33 |...
I have found the https://github.com/stedolan/mlsub/tree/pt branch, but cannot find jbuild or jbuilder-ify anywhere on the web.
With OCaml 4.07.1, compilation fails as follows: ``` File "location.ml", line 47, characters 15-38: Error: This expression has type bytes but an expression was expected of type string ```
`(fun f -> (fun x -> f (fun v -> (x x) v)) (fun x -> f (fun v -> (x x) v)))` gives `((((a & a) -> (b |...
Are sum types supported? If so, would it be possible to document the syntax used in the demo?
In the [demo](https://www.cl.cam.ac.uk/~sd601/mlsub/), I tried `let rec x = {f1=x}` and got `x : ({f1 : rec a = ({f1 : a})})`. This seems correct, but wouldn't `x : rec...
```bash mborch@wavel:~/co/mlsub$ make all ocamlbuild -no-hygiene -r -cflag -bin-annot -cflag -g -lflag -g -pkg menhirLib -pkg str -use-menhir -yaccflag --explain main.byte + /Users/mborch/.opam/4.02.3/bin/ocamlc.opt -c -bin-annot -g -I /Users/mborch/.opam/4.02.3/lib/menhirLib -I /Users/mborch/.opam/4.02.3/lib/ocaml...
