polykinds

3熱

1答えて

GHCは無制限の種類を推論できません

私はHappyによって生成された無効なコードのように見えます。この問題は、GHCが関数の多形型シグネチャを推論していないことから始まります。ここではその一例です： {-# Language MagicHash #-} f x =() main = pure (f 1#) GHCがf :: a ->()どこa :: *を推測しているので、これは • Couldn't match a li

haskell types happy polykinds 2017-08-02

---