#6027: Allow changing fixity of new type operators ---------------------------------+------------------------------------------ Reporter: atnnn | Owner: pcapriotti Type: feature request | Status: patch Priority: normal | Milestone: 7.6.1 Component: Compiler | Version: 7.5 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------
Comment(by simonpj): Yes that looks right. But it took me a little while to figure out how your change worked. In effect `lookupFixSigNames` and `lookupLocalDataTcNames` are identical except that * The latter has a special case for Exact names; it would do no harm for this to be used in both * `lookupFixSigNames`, used ony in fixity signatures, always adds a `TcClsName` * `lookupLocalDataTcNames`, used only in warnings (`rnSrcWarnDecls`), adds a `TcClsName` to a `DataName`. The difference is troubling, and I bet it should not exist. Can we just combine the two? And then you won't need to separate out `lookupMultipleNames`. And add a Note that gives an example, both of giving fixity for a type constructor, and for a type constructor operator. Thanks -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6027#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs