[GHC] #1814: Lightweight quoting Stage error in interactive mode

GHC trac at galois.com
Mon Oct 29 20:17:50 EDT 2007


#1814: Lightweight quoting Stage error in interactive mode
-------------------------------+--------------------------------------------
  Reporter:  guest             |          Owner:         
      Type:  bug               |         Status:  new    
  Priority:  normal            |      Milestone:         
 Component:  Template Haskell  |        Version:  6.9    
  Severity:  normal            |       Keywords:         
Difficulty:  Unknown           |             Os:  Unknown
  Testcase:                    |   Architecture:  Unknown
-------------------------------+--------------------------------------------
 {{{
 ghc/compiler/stage2$ ./ghc-inplace --interactive -fth
 GHCi, version 6.9.20071025: http://www.haskell.org/ghc/  :? for help
 Loading package base ... linking ... done.
 Prelude> :m +Language.Haskell.TH
 Prelude Language.Haskell.TH> let f = 1
 Prelude Language.Haskell.TH> :m +Language.Haskell.TH
 Prelude Language.Haskell.TH> $(do {i <- reify 'f; runIO $ putStrLn (pprint
 i); [| 1 |]})

 <interactive>:1:17:
     Stage error: the non-top-level quoted name 'f
     must be used at the same stage at which is is bound
     In the first argument of `reify', namely 'f
     In a 'do' expression: i <- reify 'f
     In the expression:
         $(do i <- reify 'f
                runIO $ putStrLn (pprint i)
              [| 1 |])
 }}}

 This error didn't show with version 6.6

 {{{
 $ ghci -fth
    ___         ___ _
   / _ \ /\  /\/ __(_)
  / /_\// /_/ / /  | |      GHC Interactive, version 6.6.1, for Haskell 98.
 / /_\\/ __  / /___| |      http://www.haskell.org/ghc/
 \____/\/ /_/\____/|_|      Type :? for help.

 Loading package base ... linking ... done.
 Prelude> let f = 1
 Prelude> :m +Language.Haskell.TH
 Prelude Language.Haskell.TH> $(do {i <- reify 'f; runIO $ putStrLn (pprint
 i); [| 1 |]})
 Loading package template-haskell ... linking ... done.
 f_0 :: GHC.Num.Integer
 f_0 :: GHC.Num.Integer
 f_0 :: GHC.Num.Integer
 f_0 :: GHC.Num.Integer
 1
 Prelude Language.Haskell.TH>
 }}}

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


More information about the Glasgow-haskell-bugs mailing list