ghc

-2熱度

1回答

我有一個Haskell文件： main = putStrLn "hello world" let a=1 show a 和GHC說： main.hs:3:1: parse error (possibly incorrect indentation or mismatched brackets)

9熱度

1回答

GHC 7.10.x遷移：爲什麼不能在實例Applicative中寫入「pure = return」？

我在讀一篇關於GHC 7.10.x Migration的文章。有一些修復錯誤的建議。 GHC說No instance for (Applicative ...) 如果GHC抱怨 Foo.hs：7：10：從實例聲明的超出現在實例聲明沒有實例（應用型富）對於'Monad Foo'來說，修復這個錯誤的一個簡單方法是定義一個Applicative（也可能是一個Functor）實例：實例Functor

2熱度

2回答

爲什麼不存在量化和datakinds一起工作？

{-# LANGUAGE DataKinds, ExistentialQuantification, KindSignatures #-} import Data.Proxy data Type t= forall (a :: t). Type (Proxy a) 給出了錯誤 Type variable ‘t’ used in a kind In the kind ‘t’ In th

4熱度

1回答

如何導入Yesod中的莎士比亞模板？

我在Yesod中使用QuasiQuotations，並且一切正常。但我的文件變得非常大，不好看。另外，我的TextEditor不會正確地突出顯示此語法。這就是爲什麼分割我的文件是這樣的： getHomeR :: Handler Html getHomeR = do webSockets chatApp defaultLayout $ do $(luciusFile

2熱度

1回答

劈裂GHC

類型級列表我有困難的時候，說服GHC該列表操作的某些屬性是真實的。之前我提供了我工作的代碼，我給我感興趣的屬性的一個簡單的例子假設我們有一些類型級列表xs： xs ~ '[ 'A, 'B, 'C, 'D, 'E, 'F ] 我們降一些元素，並採取元素的同一個號碼： Drop 2 xs ~ '[ 'C, 'D, 'E, 'F ] TakeReverse 2 xs ~ '[ 'B, '

5熱度

1回答

的Haskell：GADT與UNPACK附註

UNPACK支持正常的數據類型，如在以下內容： data T = T {-# UNPACK #-} ! Int 但有使用UNPACK附註與GADT的方法嗎？

3熱度

1回答

有沒有辦法在GHC中禁用常量摺疊優化？

我需要使用GHC -O1優化編譯一些Haskell源代碼，但禁用常量摺疊優化。但是我找不到在GHC手冊中用於切換常量摺疊的優化標誌。這可能會關閉它，同時保持其他優化？

1熱度

1回答

cabal build --ghc-option = -ddump-minimal-imports不生成主要的導入文件

ddump-minimal-imports是一個有價值的工具。我不能讓它在我的cabal文件中用於可執行文件和測試套件。在我的陰謀文件我有： test-suite testDatas6forTestDataItem type: exitcode-stdio-1.0 main-is: Datas6TestDataItemTest.hs build-depends:

7熱度

1回答

Parsec：獲取表達式的開始和結束源位置？

我正在寫使用秒差距爲它的解析一種編程語言。對於報告的錯誤信息，我有我的標有其源位置語法樹的每個元素，使用getPosition功能從秒差距的the Pos module。但是，它只給出我解析每個表達式的開頭的位置，我想要的開始和結束，這樣我可以在源代碼中突出其整個位置。這種事可能與秒差距？有沒有一種標準的方式來獲得我正在解析的表達式的終點，以便我可以將它包含在我的AST中？

1熱度

2回答

什麼是GHC類型的強制？

我一直在尋找哈斯克爾的核心語言來了解它是如何工作的。我在互聯網搜索中發現的一個功能是類型強制。我知道他們習慣實施GADT，但我不明白其他許多。儘管我對系統F有很好的理解，但我在網上找到的所有描述對我來說都是相當高的水平。任何人都可以向我以可理解的方式解釋類型強制嗎？