[GHC] #10668: Missing brackets in import hint with TypeOperators
GHC
ghc-devs at haskell.org
Wed Jul 22 12:22:41 UTC 2015
#10668: Missing brackets in import hint with TypeOperators
-------------------------------------+-------------------------------------
Reporter: bjmprice | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.10.1
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Incorrect
Unknown/Multiple | warning at compile-time
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Revisions: |
-------------------------------------+-------------------------------------
{{{#!hs
import Data.Type.Equality(Refl)
}}}
errors with
{{{
error:
In module ‘Data.Type.Equality’:
‘Refl’ is a data constructor of ‘:~:’
To import it use
‘import’ Data.Type.Equality( :~:( Refl ) )
or
‘import’ Data.Type.Equality( :~:(..) )
}}}
But the code there does not parse, one needs
{{{#!hs
import Data.Type.Equality((:~:)(Refl))
}}}
instead (note the extra brackets!).
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10668>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list