blob: 9277e29ea5879ed3a5c3ff0791b371e99068d69e (
plain)
1
2
3
4
5
6
7
8
9
10
|
LinearNoExt.hs:3:14: error:
Not in scope: type constructor or class ‘%’
LinearNoExt.hs:3:14: error:
Illegal operator ‘%’ in type ‘a % 1’
Use TypeOperators to allow operators in types
LinearNoExt.hs:3:15: error:
Illegal type: ‘1’ Perhaps you intended to use DataKinds
|