[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
#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
participants (1)
-
GHC