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
Bug in typing of the object layer #4505
Original bug ID: 4505
The attached code fragment breaks type inference with:
Assert_failure("typing/ctype.ml", 2760, 50).
The behavior is the same with version 3.07 (up to the line number). I don't know how to reduce the code further, but the person who wrote the assertion should know what is going on :-).