[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