Czy to oczekiwane zachowanie szablonu Haskell?

Question

Może ktoś powiedzieć, dlaczego ten kod nie skompilować

data A = A { 
    _b :: B 
} 
makeLenses ''A 

type B = String 

z komunikatem

Not in scope: type constructor or class B 

i to robi:

type B = String 

data A = A { 
    _b :: B 
} 
makeLenses ''A 

Bez makeLenses wszystko kompiluje grzywny.

Dlaczego nie mogę mieć deklaracji synonimów po makeLenses?

Answer 1

Tylko definicje przed wywołaniem szablonu haskell są dostępne w zakresie.

Zobacz poprzednie pytanie na ten sam temat: Haskell: Template Haskell and the scope.