GHC Bu bildirim çalışmıyor GADT tipi imzasını

Question

kabul etmiyor?

Answer 1

En azından o zaman, GADT desteğiyle ilgili kod typechecks çevirip yaparsa ghc 7.8, itibariyle ne beklediğiniz:

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

sonuçlanan:

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