[GHC] #10704: Can't lookup fixities of infix types in Template Haskell
GHC
ghc-devs at haskell.org
Tue Jul 28 21:41:28 UTC 2015
#10704: Can't lookup fixities of infix types in Template Haskell
-------------------------------------+-------------------------------------
Reporter: RyanGlScott | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.10.1
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by RyanGlScott):
Sorry, I forgot to mention that I was using the HEAD version of GHCi, in
which it does work (after fixing #10018):
{{{
$ inplace/bin/ghc-stage2 --interactive -XTypeOperators -XTypeFamilies
-XMultiParamTypeClasses
GHCi, version 7.11.20150727: http://www.haskell.org/ghc/ :? for help
λ> class a :=> b; infixr 5 :=>
λ> :i :=>
class (:=>) a b -- Defined at <interactive>:1:1
infixr 5 :=>
λ> type a :+: b = Either a b; infixr 5 :+:
λ> :i :+:
type (:+:) a b = Either a b -- Defined at <interactive>:3:1
infixr 5 :+:
λ> type family a :*: b; infixr 5 :*:
λ> :i :*:
type family (:*:) a b :: * -- Defined at <interactive>:5:1
infixr 5 :*:
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10704#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list