blob: 5efda699fd2e66e02a0de707d1db77591463e46b (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
RenamingStar.hs:5:13: error:
Not in scope: type constructor or class ‘*’
NB: With TypeInType, you must import * from Data.Kind
RenamingStar.hs:5:13: error:
Illegal operator ‘*’ in type ‘*’
Use TypeOperators to allow operators in types
RenamingStar.hs:5:13: error:
Operator applied to too few arguments: *
|