Đây có phải là hành vi mong đợi của Mẫu Haskell không?

Question

bất cứ ai có thể cho lý do tại sao mã này không biên dịch

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

type B = String 

với thông điệp

Not in scope: type constructor or class B 

và điều này không:

type B = String 

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

Without makeLenses tất cả mọi thứ biên dịch tốt.

Tại sao tôi không thể khai báo loại đồng bộ hóa sau makeLenses?

Answer 1

Chỉ các định nghĩa trước khi có thể truy cập cuộc gọi haskell mẫu trong phạm vi.

Xem câu hỏi trước đây về cùng một chủ đề: Haskell: Template Haskell and the scope.