GHC拒絕程序 {-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
import GHC.TypeLits
data Foo = Foo
data Bar = Bar
data (:::) :: * -> *
我正在寫這段代碼,我需要放棄一個函數,以便它允許元組值輸入。這是我的代碼: printField :: Int -> String -> String
--the function to be uncurried
printRow :: [(Int, String)] -> String
printRow d = map (uncurry printField) d
但它扔我下面的錯誤