mpickering

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

{-# 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

    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

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

mpickering

Found GHC 9.6.0.20230220, commit fba46a0385753a2e85b7434906ec885520d9ff7d.
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

mpickering

Found GHC 9.6.0.20230220, commit fba46a0385753a2e85b7434906ec885520d9ff7d.
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

mpickering

{-# LANGUAGE TemplateHaskell, FlexibleInstances, TypeFamilies, DataKinds #-}
{-# LANGUAGE MultiParamTypeClasses, StandaloneKindSignatures, PolyKinds #-}
{-# LANGUAGE PatternSynonyms #-}

-- |This is the module header
module DocInHiFilesTH where

import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import DocsInHiFileTHExternal

mpickering

{-# LANGUAGE BangPatterns        #-}
{-# LANGUAGE PackageImports      #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MagicHash           #-}
{-# LANGUAGE CPP           #-}
{-# LANGUAGE OverloadedStrings   #-}
{-# OPTIONS_GHC -dumpdir dumps/9.4 #-}

#if MIN_VERSION_GLASGOW_HASKELL(9,5,0,0)
{-# OPTIONS_GHC -dumpdir dumps/9.6 #-}

mpickering

RUN="cabal --store-dir=speff-local run --constraint=unix==2.8.0.0 bytestring-bench --allow-newer=template-haskell,base"
$RUN -w ghc-9.4.4 -- --csv 9.4.4.csv --pattern="FindIndex"
#$RUN -w ghc-9.6.0.20230111 -- --baseline 9.4.4.csv --csv 9.6.0-alpha1.csv
#$RUN -w ghc-9.6.0.20230128 -- --baseline 9.4.4.csv --csv 9.6.0-alpha2.csv
#$RUN -w /home/matt/ghc-9.6/_perf/stage1/bin/ghc  -- --baseline 9.4.4.csv --csv 9.6.0-alpha3.csv --pattern="FindIndex"
$RUN -w /home/matt/ghc-9.6-backports/_build/stage1/bin/ghc  -- --baseline 9.4.4.csv --csv 9.6.0-alpha3.csv --pattern="FindIndex"

mpickering

-- RHS size: {terms: 111, types: 79, coercions: 0, joins: 1/4}
scanr [InlPrag=INLINE (sat-args=2)]
  :: (Word8 -> Word8 -> Word8) -> Word8 -> ByteString -> ByteString
[GblId,
 Arity=3,
 Str=<LC(S,C(1,L))><1L><1!P(L,L,L)>,
 Unf=Unf{Src=StableUser, TopLvl=True,
         Value=True, ConLike=True, WorkFree=True, Expandable=True,
         Guidance=ALWAYS_IF(arity=2,unsat_ok=False,boring_ok=False)
         Tmpl= \ (f_advQ [Occ=OnceL1!] :: Word8 -> Word8 -> Word8)