You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While implementing support for data families, I noticed a bug in the code for type families.
We do something naive where we just pas on arguments, but we should do something similar to what we do for data families where we unify the tyvars on the lhs and the rhs and then use that to construct our mapping.
The text was updated successfully, but these errors were encountered:
While implementing support for data families, I noticed a bug in the code for type families.
We do something naive where we just pas on arguments, but we should do something similar to what we do for data families where we unify the tyvars on the lhs and the rhs and then use that to construct our mapping.
The text was updated successfully, but these errors were encountered: