[GHC] #11622: Annotating types in type familiy equations without parentheses
GHC
ghc-devs at haskell.org
Sun Feb 21 18:24:29 UTC 2016
#11622: Annotating types in type familiy equations without parentheses
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 8.1
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: None/Unknown
Unknown/Multiple |
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
When annotating types in right-hand side of type family equations
parentheses are required:
{{{#!hs
type family
F a where
F _ = (Int :: Type)
}}}
instead of
{{{#!hs
type family
F a where
F _ = Int :: Type
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11622>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list