[GHC] #1541: No way at all to set fixity for infix operators defined in template haskell

GHC cvs-ghc at haskell.org
Sat Nov 6 02:49:09 EDT 2010


#1541: No way at all to set fixity for infix operators defined in template haskell
---------------------------------+------------------------------------------
    Reporter:  guest             |        Owner:  reinerp     
        Type:  bug               |       Status:  new         
    Priority:  normal            |    Milestone:  _|_         
   Component:  Template Haskell  |      Version:  6.6.1       
    Keywords:                    |     Testcase:              
   Blockedby:                    |   Difficulty:  Unknown     
          Os:  Unknown/Multiple  |     Blocking:              
Architecture:  Unknown/Multiple  |      Failure:  None/Unknown
---------------------------------+------------------------------------------
Changes (by reinerp):

  * owner:  => reinerp
  * failure:  => None/Unknown


Comment:

 I propose to implement this by adding the following constructor to
 {{{Language.Haskell.TH.Dec}}}:
 {{{
  data Dec =
      ...
      | FixityD Name Fixity
      ...
 }}}
 and making the appropriate changes in {{{Convert.lhs}}} and
 {{{DsMeta.hs}}}.

 This definition allows constructing fixity declarations which refer to
 operators defined in other modules (say). It seems easiest for Template
 Haskell not to be concerned by this, and defer checking for such errors to
 the renamer.

 Thoughts?

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1541#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list