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
All the declared fields for ADTs are tracked in a map so we know what the type of each field is. The problem was that the field types were not being instantiated with the type parameter bindings. The good news is that all the field type logic is in one function, so we don't need to change this for field access, field update, etc.
In the following (correct) example
str s2 = m.tval2
is not accepted by the type checker:gives
The text was updated successfully, but these errors were encountered: