Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Checking of class type inclusion with arguments is broken #5081
Original bug ID: 5081
The following produces a segfault:
module S : sig
let () =
It seems that only object signatures are checked, not class parameters. I suspect this has been introduced by commit 10541 (not checked).