Jeremy Yallop
Jeremy Yallop
OCaml-Java 2.0-alpha1, freshly-installed from OPAM, has the following problem: ``` bash $ cat t.ml let g _ = Lambda.is_guarded let h _ = Bytegen.reset $ ocamljava -c -I +compiler-libs t.ml...
The following MetaOCaml code, distilled from > [Generating code with polymorphic let a ballad of value restriction, copying and sharing](https://tohoku.pure.elsevier.com/en/publications/generating-code-with-polymorphic-let-a-ballad-of-value-restrictio) > Oleg Kiselyov involves an unsound interaction between three MetaOCaml...
This PR adds three more examples of monotonicity failures in OCaml, relating to 1. the relaxed value restriction and strict positivity 2. compatibility 3. labeled arguments Another possible addition involves...
(After writing this up, I noticed something similar-sounding in the [TODO][todo], which is probably a good sign. I'm sending this anyway, to add support for the idea, to flesh out...
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 ```
This updates `mirage` to conform to the changes in https://github.com/mirage/functoria/pull/104.
Attempting to use this repository with recent OPAM (2.04) reveals a few problems. Here's a log, from the [ctypes CI](https://travis-ci.org/github/ocamllabs/ocaml-ctypes/jobs/670991279): ``` +opam remote add android git://github.com/whitequark/opam-cross-android [android] Initialised [WARNING] The...
It'd be useful to keep the [documentation](https://ocamllabs.io/ocaml-ctypes/) up to date by publishing it on every push to the `master` branch in a GitHub Action.
Now that we've dropped support for OCaml 4.02.3 (#673), we can make use of some of the new features in OCaml 4.03. The following seem like reasonable candidates: * [...