#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:D1888 Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Simon M and I are really doubtful about whether fixing this is a good idea at all. With the proposed fix we have {{{ module M( (%%)( A, B ) ) where -- OK data (%%) x y = A x | B y module M( (%%)( .. ) ) where -- OK data (%%) x y = A x | B y module M( (%%) ) where -- NOT OK data (%%) x y = A x | B y }}} This seems horribly non-uniform. Better just to require the `type` keyword in all three cases, I suggest. Very sorry not to have paid more attention before. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11432#comment:25 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler