Re: [GHC] #5682: Properly parse kind operators (from promoted type operators)
#5682: Properly parse kind operators (from promoted type operators)
-+--
Reporter: lunaris | Owner: dreixel
Type: bug | Status: new
Priority: low | Milestone: 7.6.2
Component: Compiler | Version: 7.3
Keywords: PolyKinds, ghc-kinds | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Comment(by dreixel):
Replying to [comment:5 goldfire]:
generally {{{'}}} is not applied to kinds.
Oh, yes, that's true. I think only `Sum0` should parse, in fact.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5682#comment:6
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5682: Properly parse kind operators (from promoted type operators)
#5682: Properly parse kind operators (from promoted type operators)
-+--
Reporter: lunaris | Owner: dreixel
Type: bug | Status: new
Priority: low | Milestone: 7.6.2
Component: Compiler | Version: 7.3
Keywords: PolyKinds, ghc-kinds | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: GHC rejects valid program
Difficulty: Unknown |Testcase:
Blockedby:|Blocking:
Related:|
-+--
Changes (by goldfire):
* cc: eir@… (added)
Comment:
I agree with dreixel's examples in spirit, but generally {{{'}}} is not
applied to kinds.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5682#comment:5
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5682: Properly parse kind operators (from promoted type operators)
#5682: Properly parse kind operators (from promoted type operators) -+-- Reporter: lunaris | Owner: dreixel Type: bug | Status: new Priority: normal| Milestone: 7.4.1 Component: Compiler | Version: 7.3 Keywords: PolyKinds, ghc-kinds | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown |Testcase: Blockedby:|Blocking: Related:| -+-- Changes (by igloo): * difficulty: = Unknown * milestone: = 7.4.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5682#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #5682: Properly parse kind operators (from promoted type operators) (was: Cannot parse (:) in a KindSignature with -XPolyKinds)
#5682: Properly parse kind operators (from promoted type operators)
---+
Reporter: lunaris| Owner: dreixel
Type: bug| Status: new
Priority: normal | Component: Compiler
Version: 7.3| Keywords: PolyKinds, ghc-kinds
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---+
Changes (by dreixel):
* cc: jpm@… (added)
Comment:
We need to handle kind operators properly in the parser. This is not
restricted to the wired-in promoted types; consider, for instance:
{{{
data a :+: b = LEFT a | RIGHT b
}}}
Currently, the following all fail to parse:
{{{
data Sum0 :: * :+: * - *
data Sum1 :: * ':+: * - *
data Sum2 :: '(:+:) * * - *
data Sum3 :: ':+: * * - *
}}}
I guess that `Sum3` should indeed fail to parse, but all the others should
work.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5682#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
