Skip to content

Instantly share code, notes, and snippets.

View mpickering's full-sized avatar

Matthew Pickering mpickering

272 followers · 17 following
  • Well Typed LLP
  • Sheffield, UK
View GitHub Profile
@mpickering
mpickering / Handle.hs
Created March 28, 2025 11:02
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE OverloadedStrings #-}
import System.IO
import System.Posix.IO
import System.Posix.Types
import Control.Concurrent
import Control.Monad
import qualified Data.ByteString.Char8 as BS
import GHC.IO.Handle
@mpickering
mpickering / complete.script
Created March 19, 2025 14:33
:set -XPatternSynonyms
:set -Wall -Werror
pattern P = 5
f P = 5
{-# COMPLETE P #-}
x P = 5
@mpickering
mpickering / gist:68c4b1a232fb555dd27bc770d43200d1
Created March 13, 2025 09:18
{-# LANGUAGE NamedDefaults #-}
module A (
Stringify(..),
default Stringify
) where
class Stringify a where
stringify :: a -> String
instance Stringify Int where
@mpickering
mpickering / gist:fb79390adb57903bfbb3eefd172281f8
Created February 18, 2025 20:59
956922255 entry and64#_info
593475578 entry +#_info
435057081 entry int64ToWord64#_info
351178432 entry xor64#_info
299285494 entry word64ToInt64#_info
293015499 entry negateInt64#_info
255885159 entry neWord64#_info
227322844 entry eqWord64#_info
218391275 entry word2Int#_info
193188859 entry int2Word#_info
@mpickering
mpickering / gist:602dd8c763ec6193699f8b86120c19a6
Created February 18, 2025 11:41
100953117 entry stripPrefix_info
30230354 entry +#_info
24580547 entry and64#_info
15904501 entry int2Word#_info
15201107 entry ==#_info
13859003 entry ord#_info
11308421 entry word2Int#_info
10390322 entry *#_info
10073034 entry indexCharOffAddr#_info
9943707 entry xor64#_info
@mpickering
mpickering / counts_cp
Created February 18, 2025 11:41
4835 entry $wbreak_info
3922 entry fromList_info
5639794 entry >=#_info
35670 entry noDuplicate#_info
12749 entry link_info
69650 entry writeWordArray#_info
1699 entry negateInt32#_info
31850 entry geInt64#_info
341685 entry remInt#_info
2316 entry toSimpleUpperCase_info
@mpickering
mpickering / Internal.dyn.dump-stg-from-core
Created February 13, 2025 18:17
This file has been truncated, but you can view the full file.
==================== Initial STG: ====================
2025-02-13 18:12:35.029731416 UTC
GHC.Data.Word64Map.Internal.$WView [InlPrag=INLINE[final] CONLIKE]
:: forall a.
GHC.Data.Word64Set.Internal.Key
%1 -> a
%1 -> GHC.Data.Word64Map.Internal.Word64Map a
%1 -> GHC.Data.Word64Map.Internal.View a
@mpickering
mpickering / Internal.dyn.dump-BCOs
Created February 13, 2025 18:08
ProtoBCO GHC.Data.Word64Map.Internal.$winsert#3 []:
\r [ww_s16wl x_s16wo t_s16wp] case of wild_s16wq
bitmap: 3 [1]
BCO_NAME "ghc-9.13-inplace:GHC.Data.Word64Map.Internal.$winsertr16al"
STKCHECK 476
PUSH_ALTS P
ProtoBCO wild_s16wq#0 []:
{ GHC.Data.Word64Map.Internal.Bin bx_s16ws
bx1_s16wt
@mpickering
mpickering / stats
Created February 12, 2025 16:34
36,452,318,766 total entries, 1,971,033,134 unknown entries
type 15: unknown entries ( 0.4%) == 8,625,033
type 16: unknown entries ( 1.6%) == 30,621,327
type 17: unknown entries ( 3.8%) == 75,370,194
type 18: unknown entries (20.1%) == 396,409,580
type 19: unknown entries ( 0.1%) == 2,135,792
type 20: unknown entries ( 0.0%) == 9
type 21: unknown entries ( 0.0%) == 11
type 22: unknown entries ( 0.2%) == 3,950,863
@mpickering
mpickering / Asm.hs
Created February 3, 2025 19:04
{-# LANGUAGE CPP #-}
{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UnboxedTuples #-}
{-# OPTIONS_GHC -optc-DNON_POSIX_SOURCE -ddump-to-file -ddump-simpl -fmax-worker-args=20 -flate-dmd-anal #-}
--
-- (c) The University of Glasgow 2002-2006
--