Matthew Pickering mpickering
mpickering
/ Main.hs
Created
March 8, 2024 15:45
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE ScopedTypeVariables, TemplateHaskell #-} | |
| module Main where | |
| -- The testing library | |
| import Test.QuickCheck | |
| import Test.Tasty.QuickCheck | |
| import Test.Tasty | |
| import qualified TEXT1.Data.Text as TEXT1 | |
| import qualified TEXT2.Data.Text as TEXT2 |
mpickering
/ Main.hs
Created
March 8, 2024 15:06
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE ScopedTypeVariables, TemplateHaskell, NoMonomorphismRestriction #-} | |
| module Main where | |
| -- The testing library | |
| import Test.Tasty.Bench | |
| import qualified TEXT1.Data.Text as TEXT1 | |
| import qualified TEXT1.Data.Text.IO as TEXT1 | |
mpickering
/ 9.yaml
Created
September 18, 2023 11:41
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| publish-time: 2023-08-25T06:22:21.560070364Z | |
| packages: | |
| - hackage: AC-Angle-1.0@sha256:e1ffee97819283b714598b947de323254e368f6ae7d4db1d3618fa933f80f065,544 | |
| pantry-tree: | |
| size: 210 | |
| sha256: 7edd1f1a6228af27c0f0ae53e73468c1d7ac26166f2cb386962db7ff021a2714 | |
| - hackage: ALUT-2.4.0.3@sha256:265bae75257444b940ef0de6177dd04e49c2b7b60b3fe1ced40a6dfe4c91a8c6,4290 | |
| pantry-tree: | |
| size: 1562 | |
| sha256: 22d7259c3c9161c9136ee2ba355b22203ad8aa0b928fc1963f97f9b922794a79 |
mpickering
/ 9.yaml
Created
September 18, 2023 11:40
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| publish-time: 2023-08-25T06:22:21.560070364Z | |
| packages: | |
| - hackage: AC-Angle-1.0@sha256:e1ffee97819283b714598b947de323254e368f6ae7d4db1d3618fa933f80f065,544 | |
| pantry-tree: | |
| size: 210 | |
| sha256: 7edd1f1a6228af27c0f0ae53e73468c1d7ac26166f2cb386962db7ff021a2714 | |
| - hackage: ALUT-2.4.0.3@sha256:265bae75257444b940ef0de6177dd04e49c2b7b60b3fe1ced40a6dfe4c91a8c6,4290 | |
| pantry-tree: | |
| size: 1562 | |
| sha256: 22d7259c3c9161c9136ee2ba355b22203ad8aa0b928fc1963f97f9b922794a79 |
mpickering
/ Repro.hs
Created
August 31, 2023 12:24
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# LANGUAGE GADTs, DeriveGeneric, StandaloneDeriving, ScopedTypeVariables, | |
| GeneralizedNewtypeDeriving, ExistentialQuantification, RecordWildCards, | |
| CPP #-} | |
| {-# OPTIONS_GHC -fno-warn-name-shadowing -fno-warn-orphans #-} | |
| -- | | |
| -- Remote GHCi message types and serialization. | |
| -- | |
| -- For details on Remote GHCi, see Note [Remote GHCi] in | |
| -- compiler/GHC/Runtime/Interpreter.hs. |
mpickering
/ out
Created
June 21, 2023 14:23
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| haddock: mmap 86000 bytes at 0x7ff93000: Cannot allocate memory | |
| Memory map: | |
| 00400000-07914000 r-xp 00000000 fe:01 33196245 /home/matt/mercury-web-backend/haddock/dist-newstyle/build/x86_64-linux/ghc-9.6.1/haddock-2.28.0/x/haddock/build/haddock/haddock | |
| 07914000-07919000 r--p 07513000 fe:01 33196245 /home/matt/mercury-web-backend/haddock/dist-newstyle/build/x86_64-linux/ghc-9.6.1/haddock-2.28.0/x/haddock/build/haddock/haddock | |
| 07919000-082ac000 rw-p 07518000 fe:01 33196245 /home/matt/mercury-web-backend/haddock/dist-newstyle/build/x86_64-linux/ghc-9.6.1/haddock-2.28.0/x/haddock/build/haddock/haddock | |
| 082ac000-082af000 rw-p 00000000 00:00 0 | |
| 095d0000-09678000 rw-p 00000000 00:00 0 [heap] | |
| 40001000-40003000 rw-p 00000000 00:00 0 | |
| 40003000-40004000 r-xp 00000000 00:00 0 |
mpickering
/ after
Created
June 19, 2023 16:07
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Rec { | |
| -- RHS size: {terms: 681, types: 275, coercions: 6, joins: 0/9} | |
| $wgo3_rq0r | |
| :: [Module] | |
| -> GHC.Data.Word64Map.Internal.Word64Map | |
| (GHC.Types.Unique.DFM.TaggedVal Module) | |
| -> ghc-prim:GHC.Prim.Int# | |
| -> UniqDSet Module | |
| [GblId[StrictWorker([!, !])], | |
| Arity=3, |
mpickering
/ A.hs
Created
April 20, 2023 11:11
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| {-# OPTIONS_GHC -ddump-simpl -dno-typeable-binds -fforce-recomp -O -fno-worker-wrapper #-} | |
| module SpecRepro where | |
| import Data.Kind | |
| import Unsafe.Coerce | |
| class Foo t where | |
| class Too where | |
| too :: Int |
mpickering
/ TestConditionalSynth.dump-ds-preopt
Created
April 4, 2023 11:12
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| let { | |
| $d~_a101 | |
| :: BooleanOf2 ghc-prim:GHC.Types.Any | |
| ~ BooleanOf2 (TensorOf2 1 ghc-prim:GHC.Types.Any) | |
| [LclId] | |
| $d~_a101 | |
| = ghc-prim:GHC.Types.Eq# | |
| @Type | |
| @(BooleanOf2 ghc-prim:GHC.Types.Any) | |
| @(BooleanOf2 (TensorOf2 1 ghc-prim:GHC.Types.Any)) |
mpickering
/ out-newer
Created
February 23, 2023 09:05
This file has been truncated, but you can view the full file.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Found GHC 9.6.0.20230221, commit 9a7478066983cbc819f3a9bb103b1fab308eebc1. | |
| Adding lens-5.2 to extra package set | |
| Adding optics-0.4.2 to extra package set | |
| Adding aeson-2.1.1.0 to extra package set | |
| Adding criterion-1.6.0.0 to extra package set | |
| Adding scotty-0.12.1 to extra package set | |
| Adding generic-lens-2.2.1.0 to extra package set | |
| Adding microstache-1.0.2.3 to extra package set | |
| Adding singletons-base-3.1 to extra package set | |
| Adding servant-0.19.1 to extra package set |