ocaml-modular-implicits
ocaml-modular-implicits copied to clipboard
ocamllabs
OCaml extended with modular implicits
(Functor and Applicative are defined [here](https://github.com/modular-implicits/imp/blob/7be0ab052609c6e68e972cfc3f897df4b8a4ead5/lib/control.ml#L4-L15)) The following code fails to compile, because the compiler doesn't consider `Applicative` a subtype of `Functor`, and possibly also because the compiler doesn't know...
When a function accepts multiple implicit arguments and their types nest as type parameters, the later implicit argument is not resolved. This appears to be an actual failure rather 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...
Implicit functors should be pure and they should be aliasable.
The behaviour of the following example is unexpected: ```ocaml module type Print = sig type t val f : t -> unit end implicit module Int = struct type t...
With the attached file [path_error.ml.txt](https://github.com/ocamllabs/ocaml-modular-implicits/files/1289753/path_error.ml.txt) the following crashes: ``` $ ocamlbuild -use-ocamlfind path_error.byte ocamlfind ocamldep -modules path_error.ml > path_error.ml.depends ocamlfind ocamlc -c -o path_error.cmo path_error.ml + ocamlfind ocamlc -c -o...
The following is the source for "implicits.ml" ``` module type Show = sig type t val show : t -> string end let show {S : Show} (e : S.t)...
I'm kind of confused. I hope I will wake up in the morning and it will stop hanging Happens both in default opam version (see log below) and mine 4.02.3+implicits....
It seems that I have occasionally commited something wrong during rebase but final version seems to be OK and `make tests` pass.