Closed io7m closed 3 years ago
An expression such as this:
[IntegerUnsigned32]
... shouldn't be accepted. The actual expression should be rejected as a type error, as it's a function application applied to a type constructor that takes no arguments.
An expression such as this:
... shouldn't be accepted. The actual expression should be rejected as a type error, as it's a function application applied to a type constructor that takes no arguments.