ocaml-modular-implicits icon indicating copy to clipboard operation
ocaml-modular-implicits copied to clipboard

Fatal error with class implicit arguments

Open yallop opened this issue 11 years ago • 1 comments

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

yallop avatar Sep 17 '14 13:09 yallop

Hmm, implicits in class expressions are not supported at all.

let-def avatar Sep 17 '14 15:09 let-def