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
Uncaught Not_found exception with a hidden .cmi file #6384
Original bug ID: 6384
By hiding a .cmi file you can get an uncaught Not_found exception:
The attached patch fixes this bug. The important change is that "complete_constrs" in parmatch.ml uses the type from the constructor instead of from the pattern.
It also cleans up some other code in parmatch.ml to remove some unnecessary checks that a type has a variant/record definition (since that should makes bugs like this less likely).