Skip to content

Instantly share code, notes, and snippets.

Someone here is possessed by an owl. Who?

Oleg Grenrus phadej

Someone here is possessed by an owl. Who?
View GitHub Profile
View 0001-WIP-make-basement-memory-cryptonite-dependency-optio.patch
From 99908846a224e73ef7322604048dd21a22dbbcfb Mon Sep 17 00:00:00 2001
From: Oleg Grenrus <>
Date: Fri, 16 Apr 2021 19:40:18 +0300
Subject: [PATCH] WIP: make basement,memory,cryptonite dependency optional
Few tests don't pass. I probably screwed something in Dhall.Crypto
(those functions don't have tests and it's all ByteStrings, so
maybe I convert to wrong bytes somewhere).
cryptohash-sha256 needs base relaxation too,
View TrueFalse.agda
{-# OPTIONS --cubical --safe #-}
module TrueFalse where
open import Cubical.Foundations.Everything
open import Cubical.Data.Bool
-- The following is basic stuff
true≡true : true ≡ true
true≡true = refl
curl -O
curl -O
curl -O
cat > SHA256SUMS <<EOF
a1e9d803bf99c4989c82d63f6ae619740ece0282987dd3c8bae2fe158b85ed4c  Cabal-
0499406c277bcaa431a0666d3e5ea171ee5bd7d66e6cf48ff275452d0723bb8b  cabal-install-
sha256sum -c SHA256SUMS
View no-empty-paths.diff
diff --git a/Cabal/src/Distribution/FieldGrammar/Newtypes.hs b/Cabal/src/Distribution/FieldGrammar/Newtypes.hs
index 3f37b43eb..35a1e781c 100644
--- a/Cabal/src/Distribution/FieldGrammar/Newtypes.hs
+++ b/Cabal/src/Distribution/FieldGrammar/Newtypes.hs
@@ -250,7 +250,11 @@ newtype FilePathNT = FilePathNT { getFilePathNT :: String }
instance Newtype String FilePathNT
instance Parsec FilePathNT where
- parsec = pack <$> parsecToken
+ parsec = do
View aaa-transformers-quantified-constraints.patch
diff --git a/Control/Monad/Trans/Class.hs b/Control/Monad/Trans/Class.hs
index b92bc0e..d6028dc 100644
--- a/Control/Monad/Trans/Class.hs
+++ b/Control/Monad/Trans/Class.hs
@@ -5,6 +5,7 @@
#if __GLASGOW_HASKELL__ >= 710
{-# LANGUAGE AutoDeriveTypeable #-}
+{-# LANGUAGE QuantifiedConstraints #-}
View ParanoidRead.hs
import Data.Typeable (Typeable, typeRep)
import Data.Proxy (Proxy (..))
import Text.Read (readMaybe)
import GHC.Stack (HasCallStack)
import Prelude hiding (read)
read :: forall a. (Typeable a, Read a, HasCallStack) => String -> a
read s = case readMaybe s of
Just x -> x
View DeriveFunctorMeh.hs
{-# LANGUAGE DeriveFunctor #-}
-- This are are fine
newtype F a = F ((a -> Bool) -> Bool) deriving Functor
newtype T a = T (a,a,a) deriving Functor
-- but if we define
newtype Fun a b = Fun (a -> b) -- and
data Tri a b c = Tri a b c
View TraverseSources.hs
module Main (main) where
import System.FilePath.Glob (glob)
import Control.Monad (foldM)
import Distribution.Simple.Utils (fromUTF8BS)
import qualified Data.ByteString as BS
import qualified Data.Map.Strict as Map
import GHC.Hs.Expr
View gist:a90def69efaa7223a782b6b8eebe3427
[polinukli] ~ % ghc-pkg list --package-db=/cabal/store/ghc-8.6.5/package.db|grep hashable

First build:

% cabal v2-build -w ghc-8.8.3

(I tried at v2.6 tag)

Then run test