Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Assertion failed in Typecore.expand_path #6394
Original bug ID: 6394
It is possible to reach the "assert false" in Typecore.expand_path with the following code:
module rec X : sig
Returning the "p" argument instead of failure seems to fix the problem, but I'd prefer if someone more knowledgeable could confirm this is the right fix.
Comment author: @garrigue
Fixed as suggested in trunk at revision 14757.
I scratched my head a while to understand what is happening: