-
John van Groningen authored
feature, add specifying types for expressions with syntax: (expr :: type), uniqueness attribute equalites or type contexts are not allowed, the specified type may be more general, uniqueness attributes that are required because of propagation are not added by the compiler, so for example [*Int] should be *[*Int]
5b60edf5