Merge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988' as 'hadrian'
[ghc.git] / testsuite / tests / dependent / should_fail / RenamingStar.stderr
1
2 RenamingStar.hs:5:13: error:
3     Not in scope: type constructor or class ‘*’
4     NB: With TypeInType, you must import * from Data.Kind
5
6 RenamingStar.hs:5:13: error:
7     Illegal operator ‘*’ in type ‘*’
8       Use TypeOperators to allow operators in types
9
10 RenamingStar.hs:5:13: error:
11     Operator applied to too few arguments: *