Closed CarlEdman closed 4 years ago
Does GHC 8.8.2 still accept *
as a valid syntax for Type
kind?
Good question. It doesn't look like it does. Or at least I get the same error with 8.8.2:
> ghci
Prelude> import GHC.TypeLits (type (*))
<interactive>:1:28: error: parse error on input ‘*’
But then I get the same error when I try it with ghci 8.6.4/5. And yet the above code appears to compile without complaint under ghc 8.6. And enabling various relevant extensions does not seem to change that result. Nor did I find anything in the release notes that suggested a recent change in this.
However I do appear to be barking up the wrong tree. My apologies.
The issue can be reproduced like this:
Adding the StarIsType language extension explicitly makes no difference:
This is with the latest public version: