#11432: Cannot export operator newtype -------------------------------------+------------------------------------- Reporter: phadej | Owner: skvadrik Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1902 Wiki Page: | -------------------------------------+------------------------------------- Changes (by skvadrik): * differential: Phab:D1888 => Phab:D1902 Comment: Replying to [comment:27 simonpj]:
I'm fine with a better error message.
It would be Much Better if the "note" part only came out if there ''actually was'' a type constructor `(%%)` in scope. And that should be easy to check.
Done, please have a look at D1902. Message example: {{{ Not in scope: ‘-.->’ Note: use ‘type’ keyword to export type constructor ‘-.->’ defined at T11432.hs:9:1 (requires TypeOperators extension) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11432#comment:28 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler