Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
manual: precise constraints on reexported types #8515
This small PR proposes to precise in the manual that reexported variant or record type constructors must have the same arity and type constraints as the original type constructor. For instance, both reexported types in
type 'a t = A type reexport_wrong_arity = int t = A type 'a reexport_wrong_constraint = int t = A
are erroneous due to arity or constraint mismatches.
Along the way, I added few tests for reexported type mismatches in the second commit.