Bắt các từ đồng nghĩa loại liên quan với mẫu Haskell

Mẫu Haskell có thể tìm ra tên và / hoặc khai báo của các từ đồng nghĩa loại liên quan được khai báo trong một lớp loại không? Tôi dự kiến reifysẽ làm những gì tôi muốn, nhưng dường như nó không cung cấp tất cả các thông tin cần thiết. Nó hoạt động để có được chữ ký loại chức năng:

% ghci
GHCi, version 7.8.3: http://www.haskell.org/ghc/  :? for help
...
Prelude> -- I'll be inserting line breaks and whitespace for clarity
Prelude> -- in all GHCi output.
Prelude> :set -XTemplateHaskell 
Prelude> import Language.Haskell.TH
Prelude Language.Haskell.TH> class C a where f :: a -> Int
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C)
ClassI (ClassD [] Ghci1.C [PlainTV a_1627398388] []
               [SigD Ghci1.f
                     (ForallT [PlainTV a_1627398388]
                              [ClassP Ghci1.C [VarT a_1627398388]]
                              (AppT (AppT ArrowT (VarT a_1627398388))
                                    (ConT GHC.Types.Int)))])
       []

Tuy nhiên, việc thêm một từ đồng nghĩa loại được liên kết vào lớp sẽ không gây ra thay đổi (đổi tên) trong đầu ra:

Prelude Language.Haskell.TH> :set -XTypeFamilies 
Prelude Language.Haskell.TH> class C' a where type F a :: * ; f' :: a -> Int
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C')
ClassI (ClassD [] Ghci3.C' [PlainTV a_1627405973] []
               [SigD Ghci3.f'
                     (ForallT [PlainTV a_1627405973]
                              [ClassP Ghci3.C' [VarT a_1627405973]]
                              (AppT (AppT ArrowT (VarT a_1627405973))
                                    (ConT GHC.Types.Int)))])
       []

Nếu tôi biết tên của F, tôi có thể tra cứu thông tin về nó:

Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''F)
FamilyI (FamilyD TypeFam
                 Ghci3.F
                 [PlainTV a_1627405973]
                 (Just StarT))
        []

Nhưng tôi không thể tìm thấy tên của Fở nơi đầu tiên. Ngay cả khi tôi thêm một thể hiện của lớp loại, thì InstanceDkhông có thông tin nào về định nghĩa:

Prelude Language.Haskell.TH> instance C' [a] where type F [a] = a ; f' = length
Prelude Language.Haskell.TH> f' "Haskell"
7
Prelude Language.Haskell.TH> 42 :: F [Integer]
42
Prelude Language.Haskell.TH> putStrLn $(stringE . show =<< reify ''C')
ClassI (ClassD [] Ghci3.C' [PlainTV a_1627405973] []
               [SigD Ghci3.f'
                     (ForallT [PlainTV a_1627405973]
                              [ClassP Ghci3.C' [VarT a_1627405973]]
                              (AppT (AppT ArrowT (VarT a_1627405973))
                                    (ConT GHC.Types.Int)))])
       [InstanceD []
                  (AppT (ConT Ghci3.C')
                        (AppT ListT (VarT a_1627406161)))
                  []]

Nếu reifykhông hoạt động, có cách giải quyết nào khác ngoài việc liệt kê các từ đồng nghĩa loại liên kết theo cách thủ công không?

Vấn đề này hiện diện trong GHC 7.8.3 với phiên bản 2.9.0.0 của gói template-haskell; nó cũng đã có mặt trong GHC 7.4.2 với phiên bản 2.7.0.0 của gói template-haskell. (Tôi đã không kiểm tra GHC 7.6. *, Nhưng tôi tưởng tượng nó cũng có mặt ở đó.) Tôi quan tâm đến các giải pháp cho bất kỳ phiên bản GHC nào (bao gồm cả "điều này chỉ được sửa trong phiên bản GHC V ").

Nó không được thực hiện bởi vì không ai yêu cầu nó.

Điều kỳ lạ là TH sử dụng AST của chính nó, không tuân theo AST của trình biên dịch nội bộ. Do đó, mọi tính năng mới (ví dụ: các loại gia đình được liên kết) sẽ không tự động có sẵn thông qua TH. Một số người phải mở một vé và thực hiện nó.

Đối với tham chiếu: reifyClasshàm bên trong bỏ qua các họ kiểu liên quan (nó là phần tử thứ 5 của bộ dữ liệu được trả về bởi classExtraBigSig, xem thêm định nghĩa của ClassATItem.)

Về mặt kỹ thuật, có thể dễ dàng thực hiện hỗ trợ gia đình loại liên quan reify, nhưng rất có thể nó sẽ yêu cầu các thay đổi không tương thích ngược trong TH API, ví dụ vì AST của nó dường như không hỗ trợ mặc định loại liên quan.

Đã thêm: Hiện đã được triển khai (không có thay đổi API btw) và có thể sẽ có sẵn trong ghcphiên bản tiếp theo .