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
Although it is named "Newtype", this is quite misleading, as this now encompasses both newtypes and enums. To make this more obvious, we should rename Newtype to NominalType. We should also rename related definitions (e.g., NewtypeDef).
The text was updated successfully, but these errors were encountered:
On the
sum-types
branch (#1602), we have this data type:cryptol/src/Cryptol/TypeCheck/Type.hs
Lines 320 to 327 in 221bf4a
Although it is named "
Newtype
", this is quite misleading, as this now encompasses both newtypes and enums. To make this more obvious, we should renameNewtype
toNominalType
. We should also rename related definitions (e.g.,NewtypeDef
).The text was updated successfully, but these errors were encountered: