ghc

    3熱度

    1回答

    直觀地說,我已經試過 $ ghc -e "import System.Environment" -e "getArgs" -- a b c ghc: unrecognised flag: -- did you mean one of: -n -F -v Usage: For basic information, try the `--help' option.

    1熱度

    1回答

    在我的申請,我建立一個類型爲一些參數d的(射)函數的表達式。例如: op :: Proxy d -> Proxy ('S d) op _ = Proxy foo :: forall d . Proxy ('S ('S d)) foo = op $ op Proxy 我已經建立了類似foo的表達之後,我想解釋它: getValue :: Proxy (d :: Nat) -> Int

    1熱度

    1回答

    我是從源頭(在ARM 7.8,因爲還有的是沒有二進制版本)建設一個GHC一遍,發現它這樣做在一些點: "inplace/bin/ghc-stage1" -static -optc-DTHREADED_RTS -optc-DDEBUG -H32m \ -O -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header

    3熱度

    1回答

    我有以下Haskell代碼: {-# LANGUAGE OverloadedStrings, DeriveGeneric, DeriveAnyClass #-} module BoardToJSON where import GHC.Generics import Data.Aeson import Data.Aeson.Text (encodeToLazyText) import

    3熱度

    1回答

    我試圖確保GHC專門遞歸函數,以便所有的東西都被拆箱。完整的示例代碼(以及GHC核心轉儲)可在this gist中找到。有問題的功能如下: import Data.Bits import qualified Data.Vector.Unboxed as UV lookupSorted :: Ord a => (Int -> a) -> Int -> a -> Maybe I

    5熱度

    2回答

    我擁有最新的Haskell Platform (8.0.2),看起來Windows10(1703)的強制更新已打破GHC。有關於此的票(#13411),它似乎需要在我的構建replace the gcc.exe文件。 我在哪裏可以找到合適的gcc.exe文件,以及我在哪裏放置它(假設標準安裝Haskell平臺)?

    6熱度

    1回答

    我想要有與GHI相同版本的不同ABI兼容版本,並將它們用於不同的項目。 (在我的情況下,之間建立的區別是整數簡單VS GMP) 在this issue中的註釋說明如何GHC的自定義添加香料stack-setup-2.yaml。但是,我如何指定在每個特定案例或項目中使用哪個ghc構建? I.e.我正在尋找一個(更好,但兩者): 能力指定stack.yaml是否使用integer-simple或gmp

    0熱度

    1回答

    我在Windows 10 VirtualBox的運行Ubuntu 16.04我與gloss工作哈斯克爾ghc和我編譯與gloss包很多文件沒有問題。然後突然沒有明顯的原因,我收到編譯過去工作的錯誤。據我所知,我沒有做任何奇怪的事情,所以我不知道發生了什麼。但現在我編譯 $ghc Hello Linking Hello ... /usr/bin/ld: cannot find -lGLU /u

    2熱度

    1回答

    在下面的代碼類型推斷,我試圖以匹配GADT構造Cons,讓編譯器看到xs非空: {-# LANGUAGE DataKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeOperators #-}

    2熱度

    1回答

    我有以下Haskell代碼,其編碼在JSON並將它打印數據類型User到標準輸出的列表: {-# LANGUAGE OverloadedStrings #-} module Main where import Data.Aeson import Data.Text import qualified Data.ByteString.Lazy.Char8 as B data User