Constructed constants are parsed as variables
Issue #511
invalid
Even when the brackets are explicit.
Comments (2)
-
-
- changed status to invalid
'=' simply allows the interpretation of a type with domain elements. 'constructed from' creates constructed types, including constructor functions.
- Log in to comment
You're not using constructors?
It works with "type value constructed from {True,False}"...