polykinds

3熱度

1回答

GHC無法推斷未提升的類型

我正在運行，看起來像由Happy生成的無效代碼。問題歸結爲GHC不推斷函數的polykinded類型簽名。這裏有這樣一個例子： {-# Language MagicHash #-} f x =() main = pure (f 1#) 由於GHC被推斷f :: a ->()其中a :: *，這種失敗 • Couldn't match a lifted type with an unli

haskell types happy polykinds 2017-08-02

---