[GHC] #10446: Fix error message when variables in a static form are not in scope

GHC ghc-devs at haskell.org
Mon May 25 18:50:42 UTC 2015


#10446: Fix error message when variables in a static form are not in scope
-------------------------------------+-------------------------------------
              Reporter:              |             Owner:
  facundo.dominguez                  |  facundo.dominguez
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:  7.10.2
             Component:  Compiler    |           Version:  7.10.1
              Keywords:              |  Operating System:  Unknown/Multiple
  StaticPointers                     |   Type of failure:  None/Unknown
          Architecture:              |        Blocked By:
  Unknown/Multiple                   |   Related Tickets:
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
 If an identifier is out-of-scope but inside a static form ({{{static f}}})
 then GHC says expression not closed, when really it should just say
 identifier out of scope.

 {{{
 t.hs:6:5: error:
     Only identifiers of top-level bindings can appear in the body of the
 static form:
       static f
     but the following identifiers were found instead:
       f
 }}}

 We just want:
 {{{
 t.hs:6:12: error: Not in scope: ‘f’
 }}}

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


More information about the ghc-tickets mailing list