[GHC] #8633: template haskell mkName parses operator ^.. as a qualified operator

GHC ghc-devs at haskell.org
Fri Dec 27 06:06:12 UTC 2013


#8633: template haskell mkName parses operator ^.. as a qualified operator
------------------------------------+-------------------------------------
       Reporter:  aavogt            |             Owner:
           Type:  bug               |            Status:  new
       Priority:  normal            |         Milestone:
      Component:  Template Haskell  |           Version:  7.6.3
       Keywords:                    |  Operating System:  Unknown/Multiple
   Architecture:  Unknown/Multiple  |   Type of failure:  None/Unknown
     Difficulty:  Unknown           |         Test Case:
     Blocked By:                    |          Blocking:
Related Tickets:                    |
------------------------------------+-------------------------------------
 The operator `^..` (provided by lens) is parsed as the operator `.` from
 module `^`. In other words:
 {{{
 import Language.Haskell.TH.Syntax
 main = case mkName "^.." of
    Name (OccName ".")  (NameQ (ModName "^")) -> error "bug"
    Name (OccName "^..") NameS                -> print "desired"
 }}}

 The context here is that I get `^..` out-of-scope when I try to use that
 operator in code that is handled by haskell-src-meta.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8633>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the ghc-tickets mailing list