#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