Получение аннотаций из того же модуля

Question

Предположим, я определяю свой собственный тип аннотаций:

{-# LANGUAGE DeriveDataTypeable #-} 
module Def where 

import Data.Data 

data MyAnn = MyAnn Int deriving (Show, Typeable, Data) 

и некоторые функции шаблона Haskell для доступа к нему:

module TH where 

import Def 
import Language.Haskell.TH.Syntax 

myAnn :: Name -> Q Exp 
myAnn name = do 
    [MyAnn x] <- reifyAnnotations (AnnLookupName name) 
    lift x 

Теперь я хотел бы использовать его как это:

{-# LANGUAGE TemplateHaskell #-} 
module Client where 

import Def 
import TH 

x ::() 
x =() 
{-# ANN x (MyAnn 42) #-} 

y :: Int 
y = $(myAnn 'x) 

Но это не удается, потому что myAnn вызов в определении y получает пустой список от reifyAnnotations.

Это работает, если я разделить Client так:

module Client1 where 

import Def 

x ::() 
x =() 
{-# ANN x (MyAnn 42) #-} 

{-# LANGUAGE TemplateHaskell #-} 
module Client2 where 

import Client1 
import TH 

y :: Int 
y = $(myAnn 'x) 

Есть ли способ, чтобы получить что-то вроде монолитных Client модуля для работы?

Answer 1

Это, как представляется, ожидаемое поведение в соответствии с the docs:

Соответственно, среда типа рассматривается reify включает в себя все декларации верхнего уровня до конца, непосредственно предшествующей декларации группы, но не более.

Эффективный способ решения вашей проблемы является силы начала отдельной декларации группы путем включения пустого верхнего уровня декларации сращивания, т.е. просто

$(return [])