[GHC] #9882: Kind mismatch with singleton [Nat]
GHC
ghc-devs at haskell.org
Sat Dec 13 10:32:11 UTC 2014
#9882: Kind mismatch with singleton [Nat]
-------------------------------------+-------------------------------------
Reporter: Roel van | Owner:
Dijk | Status: new
Type: bug | Milestone:
Priority: normal | Version: 7.8.3
Component: Compiler | Keywords:
Resolution: | Architecture: Unknown/Multiple
Operating System: Linux | Difficulty: Unknown
Type of failure: GHC | Blocked By:
rejects valid program | Related Tickets:
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by Roel van Dijk):
I am now thinking this might not be a bug. The parser doesn't know that
the `[42]` is of kind `[Nat]` so it parses it as `[] 42`, which has kind
`*`.
I was confused because `[1, 2, 3]` was accepted as a type of kind `[Nat]`.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9882#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list