ocaml-modular-implicits
ocaml-modular-implicits copied to clipboard
Fatal error with class implicit arguments
# class c (implicit M:S) = object end;;
Fatal error: exception File "typing/btype.ml", line 571, characters 33-39: Assertion failed
Hmm, implicits in class expressions are not supported at all.