Jeremy Yallop
Jeremy Yallop
(Thanks for this very exciting ppx-extension!) Binding analysis doesn't keep track of levels or track bindings in escapes, which leads to some surprising behaviour. Here are some examples: 1. Shadowing...
Overall, I think the Functoria API looks very good: clean, well-designed and well-documented. For the moment, I have just one request: I'd prefer to see `typ` as an abstract type...
I'd like to use `libcamlrun_shared.so` from other languages, but it has an undefined symbol `caml_names_of_builtin_cprim`: ``` $ python3 -c "import ctypes; ctypes.CDLL('runtime/libcamlrun_shared.so')" Traceback (most recent call last): File "", line...
cf. https://github.com/joelonsql/reason-re-nfa/blob/master/src/RangeSetSet.re
The [`Regex.parse`](https://github.com/yallop/ocaml-re-nfa/blob/master/lib/regex.mli#L39-L52) function currently supports a fairly limited grammar: sequencing, `(`..`)`, literal characters, `.`, `|`, `?`, `*` and `+`. It would be useful to also support escapes (e.g. `\*'`) and...
[I've replicated the proposal in this comment for ease of reading.] # Constructor unboxing ### Motivating example: compact rope representation Data structures defined in OCaml are often less compact than...
discovered by @pxeger: ``` $ OCAMLRUNPARAM=b ocaml OCaml version 4.02.1+dev0-2014-08-29 # module type ModuleType = sig module type T end;; module type ModuleType = sig module type T end #...
Another example of an ill-typed program that fails gracelessly with `Fatal error: exception Ctype.Unify(_)`: ```ocaml module type S = sig type r and 'b m and x = r and...
It'd be convenient to have implicits as constructor arguments so that we could write ``` ocaml type showable = Show : {S: SHOW} * S.t -> showable;; let f (Show...
It'd be useful to allow rebinding/shadowing of implicit modules in the top level: ``` # implicit module M = struct end;; implicit module M : sig end # implicit module...