[GHC] #5682: Cannot parse (:) in a KindSignature with -XPolyKinds
GHC
cvs-ghc at haskell.org
Mon Dec 5 20:04:47 CET 2011
#5682: Cannot parse (:) in a KindSignature with -XPolyKinds
---------------------------------+------------------------------------------
Reporter: lunaris | Owner: dreixel
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.3 | Keywords: PolyKinds, ghc-kinds
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
---------------------------------+------------------------------------------
{{{
% ghci -XPolyKinds -XTypeOperators
GHCi, version 7.3.20111204: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> :k (:)
<interactive>:1:2: parse error on input `:'
Prelude> :k '(:)
<interactive>:1:3: parse error on input `:'
Prelude> :k (':)
<interactive>:1:3: parse error on input `:'
Prelude> :k (Int ': '[Bool])
(Int ': '[Bool]) :: [*]
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5682>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the Glasgow-haskell-bugs
mailing list