ghc

11Ciepło

1Odpowiedz

Jak mogę sprawdzić poprawność literałów podczas kompilacji w instancjach IsString?

Chciałbym móc tworzyć instancje IsString przy użyciu rozszerzenia GHC OverloadedStrings tak, że moja instancja odrzuca niektóre literały jako nieważne i takie, że odrzucenie ma miejsce podczas kompila

5Ciepło

2Odpowiedz

iloczyn kartezjański heterogenicznych list

oczywiście wytwarzania iloczyn kartezjański heterogenicznych listach mogą być wykonane w różnych sposób w Haskell, takich jak: [(x,y) | x <- [1,2,3], y <- [4,5,6]] lub (,) <$> [1,2,3] <*> [4,5,6]

6Ciepło

1Odpowiedz

Jak uaktualnić stos ghc

stos ghc - version chwalebnej Glasgow Haskell kompilacja systemu, wersja 7.10.3 Chcę uaktualnić GHC 8. Jak mogę powiedzieć stos do aktualizacji ghc?

10Ciepło

1Odpowiedz

Dlaczego ten kod, który został sprawdzony w GHC 7.10, nie zawiera już sprawdzania w GHC 8.0.1?

Mam następujący kod: {-# LANGUAGE DefaultSignatures#-} import Control.Monad.Trans.Class import Control.Monad.Trans.Maybe class Monad m => MonadMaybe m where liftMaybe :: Maybe a -> m a

6Ciepło

1Odpowiedz

Jak używać różnych wersji ghc ze stosu?

Chciałbym mieć różne, niezgodne z ABI kompilacje tej samej wersji GHC i używać ich w różnych projektach. (w moim przypadku, różnica pomiędzy całkowitą buduje jest prosty vs-GMP). Komentarze w this iss

5Ciepło

1Odpowiedz

Brakujące symbole debugowania w statycznie połączonych plikach binarnych

Buduję statycznie połączone pliki binarne za pomocą stosu i próbuję dodać do niego symbole debugowania (następujące: https://downloads.haskell.org/~ghc/master/users-guide/debug-info.html). Jednak rapo

7Ciepło

1Odpowiedz

Dlaczego DuplicateRecordFields nie może mieć wnioskowania o typie?

Podobne stanowisko: How to disambiguate selector function? https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/DuplicateRecordFields Jednak nie wywnioskować typ argumentu, aby określi

6Ciepło

1Odpowiedz

ograniczające ograniczenia

mogę napisać następujący: {-# LANGUAGE RankNTypes #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ConstraintKinds #-} f :: Integral a => (forall b. Num b

8Ciepło

1Odpowiedz

"Rodzaj" zdezorientowany na temat all-in w GADTs indeksowanych

Wpadłem w dziwną sytuację w GHC 8.0.1 z dobrymi indeksami (?) GADTs, w których wprowadzenie kombinezonów w sygnaturach typu i rodzaju powoduje różne sprawdzanie typów zachowania. Rozważmy następujące

7Ciepło

2Odpowiedz

Konwencja wywoływania GHC dla argumentów funkcji typu suma

Czy GHC kiedykolwiek rozpakowuje typy sum, przekazując je do funkcji? Na przykład, powiedzmy, że mamy następujące rodzaje: data Foo = Foo1 {-# UNPACK #-} !Int {-# UNPACK #-} !Word | Foo2 {-#