Matthew Pickering mpickering
mpickering
/ iface_sums
Created
April 9, 2024 11:09
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
| 6 Type | |
| 6 TyCon | |
| 6 CallStack | |
| 8 Addr# | |
| 8 TrName | |
| 11 b1 | |
| 15 'Lifted | |
| 29 Int | |
| 48 'Many | |
| 76 AgdaError |
mpickering
/ iface_ty_con_warm_cache
Created
March 18, 2024 11:51
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
| Build profile: -w ghc-9.6.2 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - ghc-debugger-0.5.0.0 (exe:debugger) (file Test.hs changed) | |
| Preprocessing executable 'debugger' for ghc-debugger-0.5.0.0.. | |
| Building executable 'debugger' for ghc-debugger-0.5.0.0.. | |
| on the commandline: warning: [-Wdeprecated-flags] | |
| -eventlog is deprecated: the eventlog is now enabled in all runtime system ways | |
| [1 of 1] Compiling Main ( Test.hs, /home/matt/ghc-debug/dist-newstyle/build/x86_64-linux/ghc-9.6.2/ghc-debugger-0.5.0.0/x/debugger/build/debugger/debugger-tmp/Main.o ) [Source file changed] |
mpickering
/ iface_ty_con_app
Created
March 18, 2024 11:38
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
| Build profile: -w ghc-9.6.2 -O1 | |
| In order, the following will be built (use -v for more details): | |
| - ghc-debugger-0.5.0.0 (exe:debugger) (file Test.hs changed) | |
| Preprocessing executable 'debugger' for ghc-debugger-0.5.0.0.. | |
| Building executable 'debugger' for ghc-debugger-0.5.0.0.. | |
| on the commandline: warning: [-Wdeprecated-flags] | |
| -eventlog is deprecated: the eventlog is now enabled in all runtime system ways | |
| [1 of 1] Compiling Main ( Test.hs, /home/matt/ghc-debug/dist-newstyle/build/x86_64-linux/ghc-9.6.2/ghc-debugger-0.5.0.0/x/debugger/build/debugger/debugger-tmp/Main.o ) [Source file changed] |
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: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 |
NewerOlder