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
Assert failure during typing of class #5858
Original bug ID: 5858
$ less bug.mli
Renaming the class 'c' into 'd' solves this bug.
I guess this program is erroneous since the type of S.c does not refer to the class type c outside S but to S.c itself (even if I'm not sure that scoping rules of class identifiers is precisely documented).
Anyway crashing instead of reporting a nice error message is a bit extreme ;-).