Haskell: Template Haskell и область

Question

Этот код компилируется нормально:

data None = None { _f :: Int } 
type Simpl = Env 

type Env = Int 

Однако я получил ошибку с этим кодом:

{-# LANGUAGE TemplateHaskell #-} 
import Control.Lens 

data None = None { _f :: Int } 

type Simpl = Env 

makeLenses ''None 

type Env = Int 

Ошибка:

Not in scope: type constructor or class `Env' 

I просто добавила одну строку makeLenses ''None между объявлениями типа.
Это означает, что код TemplateHaskell может изменить область конструктора типов?

Кто-нибудь знает подробности об этой проблеме (или как избежать этой проблемы)?

Answer 1

Если вы реорганизовать свой код следующим образом, он работает:

{-# LANGUAGE TemplateHaskell #-} 
import Control.Lens 

data None = None { _f :: Int } 

type Simpl = Env 

type Env = Int 

makeLenses ''None 

При использовании шаблона Haskell сращивания, чтобы добавить новые объявления верхнего уровня для вашего кода, как makeLenses делает, порядок деклараций в вашем коде внезапно имеет значение!

Причина в том, что обычно компиляция программы Haskell предполагает сначала собирать все объявления верхнего уровня и переупорядочивать их внутренне, чтобы поместить их в порядок зависимостей, а затем скомпилировать их один за другим (или группу по группам для взаимно-рекурсивных объявлений) ,

С новыми декларациями, представленными путем запуска произвольного кода, поскольку GHC не знает, какие объявления makeLenses могут потребоваться для запуска, а также он не знает, какие новые объявления он будет производить. Таким образом, он не может поместить весь файл в порядок зависимостей и просто отказаться от него и ожидает, что пользователь сделает это самостоятельно, по крайней мере, для решения вопроса о том, должны ли объявления проходить до или после сращивания.

только онлайн ссылки я могу найти, что объясняет это в original Template Haskell paper, раздел 7.2, где он говорит, что алгоритм:

• Group the declarations as follows:

[d1,...,da] 
splice ea 
[da+2,...,db] 
splice eb 
... 
splice ez 
[dz+2,...,dN] 

where the only splice declarations are the ones indicated explicitly, so that each group [d1,...,da] , etc, are all ordinary Haskell declarations.

• Perform conventional dependency analysis, followed by type checking, on the first group. All its free variables should be in scope.

Таким образом, проблема здесь в том, что первая группа объявлений перед сращиванием обрабатывается отдельно во вторую группу после сращивания, и она не может видеть определение Env.

Мое общее эмпирическое правило заключается в том, чтобы поместить такие сращивания, как это, в нижней части файла, но я не думаю, что это гарантировано, что это всегда будет работать.