blob: 10e923480b84082638e9ff6716dae451e4ec3c32 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
{-# LANGUAGE TemplateHaskell #-}
{-
This is to test that we don't get the error:
The exact Name ‘x_aFi’ is not in scope
Probable cause: you used a unique Template Haskell name (NameU),
perhaps via newName, but did not bind it
If that's it, then -ddump-splices might be useful
When looking up something with 'lookupGlobalOccRn_maybe', which is called by
'lookupThName'. This can happen when using a gensymmed name via newName.
This should still fail to compile though, as reify should complain that "x"
isn't in the type environment, albeit with one less error.
-}
module T18263 where
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
do
n <- newName "x"
addModFinalizer $ reify n >>= runIO . print
[d| $(varP n) = 42 |]
|
