[GHC] #10379: Prefix syntax for promoted list kind isn't parsed properly
#10379: Prefix syntax for promoted list kind isn't parsed properly -------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- (Originally from https://stackoverflow.com/questions/27673578/) Given the following input file: {{{ {-# LANGUAGE KindSignatures, GADTs, DataKinds, TypeOperators #-} data Foo1 :: [*] -> * where data Foo2 :: ([] *) -> * where }}} it fails on the definition of `Foo2`: {{{ list-promote2.hs:4:16: parse error on input `]' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10379: Prefix syntax for promoted list kind isn't parsed properly -------------------------------------+------------------------------------- Reporter: cactus | Owner: goldfire Type: bug | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler | Version: 7.10.1 (Parser) | Keywords: Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Changes (by goldfire): * owner: => goldfire * milestone: => 7.12.1 Comment: This is by design, for better or worse. Parsing in kinds is rather restricted. This will be fixed when I merge my kind equalities patch, which combines the type and kind parsers (among many other things). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10379#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10379: Prefix syntax for promoted list kind isn't parsed properly -------------------------------------+------------------------------------- Reporter: cactus | Owner: goldfire Type: bug | Status: new Priority: low | Milestone: 8.0.1 Component: Compiler | Version: 7.10.1 (Parser) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"1dbc8d91b7726a37c693fa769d19782871142b07/ghc" 1dbc8d9/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="1dbc8d91b7726a37c693fa769d19782871142b07" Add test for #10379 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10379#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10379: Prefix syntax for promoted list kind isn't parsed properly -------------------------------------+------------------------------------- Reporter: cactus | Owner: goldfire Type: bug | Status: closed Priority: low | Milestone: 8.0.1 Component: Compiler | Version: 7.10.1 (Parser) | Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | parser/should_compile/T10379 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by thomie): * testcase: => parser/should_compile/T10379 * status: new => closed * resolution: => fixed Comment: Fixed in commit 6746549772c5cc0ac66c0fce562f297f4d4b80a2: {{{ Author: Richard Eisenberg <eir@cis.upenn.edu> Date: Fri Dec 11 18:19:53 2015 -0500 Add kind equalities to GHC. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10379#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC