GHC không chấp nhận GADT loại chữ ký

Question

khai này không hoạt động:

data Identity a where {Identity :: (->) a (Identity a)} 

Làm thế nào để sửa lỗi này?

Answer 1

Ít nhất là của GHC 7.8, nếu bạn bật hỗ trợ GADT, sau đó typechecks mã của bạn và làm những gì bạn mong muốn:

{-# LANGUAGE GADTs #-} 
data Identity a where {Identity :: (->) a (Identity a)} 

kết quả là:

GHCi, version 7.8.3: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
[1 of 1] Compiling Main    (foo.hs, interpreted) 
Ok, modules loaded: Main. 
λ» :i Identity 
data Identity a = Identity a -- Defined at foo.hs:2:1