ocaml-modular-implicits

ocaml-modular-implicits copied to clipboard

Assertion error with implicit of abstract module type

1

``` # module F(X : sig module type T end) = struct let f (implicit Y:X.T) () = () let _ = f () end ;; Fatal error: exception File...

yallop

Fatal error with class implicit arguments

1

``` # class c (implicit M:S) = object end;; Fatal error: exception File "typing/btype.ml", line 571, characters 33-39: Assertion failed ```

yallop

I was curious to try this version of the compiler. Unfortunately, I am getting the following error when I try to compile it: ``` prims.h:29:23: error: too many arguments to...

FardaleM