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
Ctype.Unify(_) with associated functor args containing open PV/obj. type and open obj. type. #6981
Original bug ID: 6981
See steps to reproduce for minimal example.
The bug occurs in a functor with two parameters, where the first module Bar contains a private row type (either PV or open object) and the second module contains a private, open object type that refers to any type inside of Bar (not just the private row type).
I'm unsure of what the behavior should be (found this during some refactoring with stale code), but I imagine it's not a unification error:
Fatal error: exception Ctype.Unify(_)
I was able to reproduce this error for all compiler versions 4.00.1 and above. In 3.12.1 the error is formatted slightly differently:
Fatal error: exception Ctype.Unify(_, _)
Steps to reproduce