row-polymorphism

row-polymorphism copied to clipboard

Qualified types

2

In the constrained rows implementation the `lacks` constraints are part of the type variables instead of being part of the type schemes like it is in the papers I read...

atennapel

without them, variants don't properly type check (you end up with free variables)

jaredly