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
What if local type inference knows the expected type for an application of an overloaded constructor? Then it would know which constructor it is. Otherwise, maybe the user could use some fully annotated ctor name like Nat.succ to distinguish it from Ord.succ?
The text was updated successfully, but these errors were encountered:
What if local type inference knows the expected type for an application of an overloaded constructor? Then it would know which constructor it is. Otherwise, maybe the user could use some fully annotated ctor name like Nat.succ to distinguish it from Ord.succ?
The text was updated successfully, but these errors were encountered: