#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
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
