Wolfgang Jeltsch pushed to branch wip/jeltsch/textual-bytecode-output at Glasgow Haskell Compiler / GHC

Commits:

4 changed files:

Changes:

  • compiler/GHC/ByteCode/Show.hs
    1 
    +{-# LANGUAGE MagicHash #-}
    1 2 
     {-# LANGUAGE ImportQualifiedPost #-}
    2 3 
     {-# LANGUAGE RecordWildCards #-}
    3 4
    ... ... @@ -34,8 +35,8 @@ import GHC.Data.FastString (unpackFS)
    34 35 
     import GHC.Data.FlatBag (FlatBag, elemsFlatBag)
    35 36 
     import GHC.Fingerprint (Fingerprint)
    36 37 
     import GHC.Types.SrcLoc (noSrcSpan)
    37 
    -import GHC.Types.Name (Name)
    38 
    -import GHC.Types.Name.Occurrence (OccName)
    38 
    +import GHC.Types.Name (Name, nameOccName)
    39 
    +import GHC.Types.Name.Occurrence (OccName, isSymOcc)
    39 40 
     import GHC.Types.Tickish (BreakTickIndex, BreakpointId (..))
    40 41 
     import GHC.Types.SptEntry (SptEntry (..))
    41 42 
     import GHC.Types.Error (MessageClass (MCDump))
    ... ... @@ -57,12 +58,13 @@ import GHC.Utils.Outputable
    57 58 
              withPprStyle,
    58 59 
              ppr
    59 60 
            )
    60 
    -import GHC.Unit.Types (Module)
    61 
    +import GHC.Unit.Types (Module, moduleName)
    61 62 
     import GHC.Iface.Type (IfaceType, IfaceTvBndr, IfaceIdBndr)
    62 63 
     import GHC.HsToCore.Breakpoints (ModBreaks (..))
    63 64 
     import GHC.Driver.Env.Types (HscEnv)
    64 65 
     import GHCi.FFI (FFIType)
    65 66 
     import GHCi.Message (ConInfoTable (..))
    67 
    +import Language.Haskell.Syntax.Module.Name (moduleNameString)
    66 68
    67 69 
     -- Basic things
    68 70 
     import Control.Arrow ((>>>))
    ... ... @@ -73,6 +75,7 @@ import Data.IntMap (IntMap)
    73 75 
     import Data.IntMap qualified as IntMap (toList)
    74 76 
     import Data.Array (bounds, indices, elems)
    75 77 
     import Numeric (showHex)
    78 
    +import GHC.Exts (Int (I#), Word (W#), int2Word#)
    76 79
    77 80 
     -- | Outputs textual information about the contents of a bytecode file.
    78 81 
     showByteCode :: Logger -> HscEnv -> FilePath -> IO ()
    ... ... @@ -87,14 +90,14 @@ showByteCode logger env path = do
    87 90 
     pprOnDiskModuleByteCode :: OnDiskModuleByteCode -> SDoc
    88 91 
     pprOnDiskModuleByteCode OnDiskModuleByteCode {..}
    89 92 
       = vcat [
    90 
    -           pprModuleIdent                   $ odgbc_module,
    93 
    +           pprModule                        $ odgbc_module,
    91 94 
                pprOnDiskModuleByteCodeHash      $ odgbc_hash,
    92 95 
                pprCompiledByteCode odgbc_module $ odgbc_compiled_byte_code
    93 96 
              ]
    94 97
    95 
    --- | Constructs textual information about the name of a module.
    96 
    -pprModuleIdent :: Module -> SDoc
    97 
    -pprModuleIdent = entry (text "name") . ppr
    98 
    +-- | Constructs textual information about a module.
    99 
    +pprModule :: Module -> SDoc
    100 
    +pprModule = entry (text "module") . ppr
    98 101
    99 102 
     -- | Constructs textual information about the hash of a module.
    100 103 
     pprOnDiskModuleByteCodeHash :: Fingerprint -> SDoc
    ... ... @@ -111,7 +114,7 @@ pprCompiledByteCode current_module CompiledByteCode {..}
    111 114 
                pprTopLevelStrings                $ bc_strs,
    112 115 
                pprBreakpoints current_module     $ bc_breaks,
    113 116 
                pprStaticPointerTableEntries      $ bc_spt_entries,
    114 
    -           pprHPCInfo                        $ bc_hpc_info
    117 
    +           pprHPCInfo current_module         $ bc_hpc_info
    115 118 
              ]
    116 119
    117 120 
     -- | Constructs textual information about bytecode objects.
    ... ... @@ -129,7 +132,7 @@ pprByteCodeObject :: Module -- ^ The enclosing module
    129 132 
                       -> SDoc        -- ^ The textual information
    130 133 
     pprByteCodeObject current_module byte_code_object = case byte_code_object of
    131 134 
       UnlinkedBCO {..}
    132 
    -    -> entry (text "ordinary object" <+> quotes (ppr unlinkedBCOName)) $
    135 
    +    -> entry (text "object" <+> quotes (pprName unlinkedBCOName)) $
    133 136 
            vcat [
    134 137 
                   pprArity                    $ unlinkedBCOArity,
    135 138 
                   pprLiterals current_module  $ unlinkedBCOLits,
    ... ... @@ -137,26 +140,25 @@ pprByteCodeObject current_module byte_code_object = case byte_code_object of
    137 140 
                 ]
    138 141 
       UnlinkedStaticCon {..}
    139 142 
         -> entry (
    140 
    -               text "static-construction object"  <+>
    141 
    -               quotes (ppr unlinkedStaticConName)
    143 
    +               text "static-construction object" <+>
    144 
    +               quotes (pprName unlinkedStaticConName)
    142 145 
                  )
    143 146 
            $
    144 147 
            vcat [
    145 
    -              pprDataConstructorName      $ unlinkedStaticConDataConName,
    148 
    +              pprDataConstructor          $ unlinkedStaticConDataConName,
    146 149 
                   pprLiftedness               $ not unlinkedStaticConIsUnlifted,
    147 150 
                   pprLiterals current_module  $ unlinkedStaticConLits,
    148 151 
                   pprUsedItems current_module $ unlinkedStaticConPtrs
    149 152 
                 ]
    150 153
    151 
    --- | Constructs textual information about the arity of an ordinary bytecode
    152 
    ---   object.
    154 
    +-- | Constructs textual information about the arity of a bytecode object.
    153 155 
     pprArity :: Int -> SDoc
    154 156 
     pprArity = entry (text "arity") . ppr
    155 157
    156 
    --- | Constructs textual information about the data constructor name of a
    158 
    +-- | Constructs textual information about the data constructor of a
    157 159 
     --   static-construction bytecode object.
    158 
    -pprDataConstructorName :: Name -> SDoc
    159 
    -pprDataConstructorName = entry (text "data constructor name") . ppr
    160 
    +pprDataConstructor :: Name -> SDoc
    161 
    +pprDataConstructor = entry (text "data constructor") . pprName
    160 162
    161 163 
     -- | Constructs textual information about the liftedness of a
    162 164 
     --   static-construction bytecode object.
    ... ... @@ -185,10 +187,10 @@ pprLiteral current_module literal = case literal of
    185 187 
            quotes (ppr label)
    186 188 
       BCONPtrItbl infoTableName
    187 189 
         -> text "info table of" <+>
    188 
    -       quotes (ppr infoTableName)
    190 
    +       quotes (pprName infoTableName)
    189 191 
       BCONPtrAddr addrName
    190 192 
         -> text "address" <+>
    191 
    -       quotes (ppr addrName)
    193 
    +       quotes (pprName addrName)
    192 194 
       BCONPtrStr encoded_string
    193 195 
         -> text "top-level string" <+>
    194 196 
            text (show (utf8DecodeByteString encoded_string))
    ... ... @@ -221,14 +223,14 @@ pprInternalBreakpointID
    221 223 
       -> InternalBreakpointId -- ^ The ID of the bytecode breakpoint
    222 224 
       -> SDoc                 -- ^ The textual information
    223 225 
     pprInternalBreakpointID current_module InternalBreakpointId {..}
    224 
    -  | ibi_info_mod == current_module = indexDoc
    225 
    -  | otherwise                      = indexDoc                  <+>
    226 
    +  | ibi_info_mod == current_module = index_doc
    227 
    +  | otherwise                      = index_doc                 <+>
    226 228 
                                          text "in"                 <+>
    227 229 
                                          quotes (ppr ibi_info_mod)
    228 230 
       where
    229 231
    230 
    -  indexDoc :: SDoc
    231 
    -  indexDoc = ppr ibi_info_index
    232 
    +  index_doc :: SDoc
    233 
    +  index_doc = ppr ibi_info_index
    232 234
    233 235 
     -- | Constructs textual information about used items.
    234 236 
     pprUsedItems :: Module          -- ^ The enclosing module
    ... ... @@ -245,7 +247,7 @@ pprUsedItem :: Module -- ^ The enclosing module
    245 247 
                 -> SDoc   -- ^ The textual information
    246 248 
     pprUsedItem current_module usedItem = case usedItem of
    247 249 
       BCOPtrName name
    248 
    -    -> text "named item" <+> quotes (ppr name)
    250 
    +    -> text "named item" <+> quotes (pprName name)
    249 251 
       BCOPtrPrimOp primOp
    250 252 
         -> text "primitive operation" <+> quotes (ppr primOp)
    251 253 
       BCOPtrBCO byte_code_object
    ... ... @@ -262,7 +264,7 @@ pprDataConstructorInfoTables = entry (text "data constructor info tables") .
    262 264 
     -- | Constructs textual information about a single data constructor info table.
    263 265 
     pprDataConstructorInfoTable :: Name -> ConInfoTable -> SDoc
    264 266 
     pprDataConstructorInfoTable dataConstrName ConInfoTable {..}
    265 
    -  = entry (text "info table of" <+> quotes (ppr dataConstrName)) $
    267 
    +  = entry (text "info table of" <+> quotes (pprName dataConstrName)) $
    266 268 
         vcat [
    267 269 
                pprPointerWordCount    $ conItblPtrs,
    268 270 
                pprNonPointerWordCount $ conItblNPtrs
    ... ... @@ -284,10 +286,10 @@ pprTopLevelStrings = entry (text "top-level strings") .
    284 286
    285 287 
     -- | Constructs textual information about a single top-level string.
    286 288 
     pprTopLevelString :: Name -> ByteString -> SDoc
    287 
    -pprTopLevelString string_name encoded_string = entry (ppr string_name) $
    288 
    -                                               text                    $
    289 
    -                                               show                    $
    290 
    -                                               utf8DecodeByteString    $
    289 
    +pprTopLevelString string_name encoded_string = entry (pprName string_name) $
    290 
    +                                               text                        $
    291 
    +                                               show                        $
    292 
    +                                               utf8DecodeByteString        $
    291 293 
                                                    encoded_string
    292 294
    293 295 
     -- | Constructs textual information about breakpoints.
    ... ... @@ -429,14 +431,14 @@ pprBreakpointID :: Module -- ^ The enclosing module
    429 431 
                     -> BreakpointId -- ^ The ID of the source breakpoint
    430 432 
                     -> SDoc         -- ^ The textual information
    431 433 
     pprBreakpointID current_module BreakpointId {..}
    432 
    -    | bi_tick_mod == current_module = indexDoc
    433 
    -    | otherwise                     = indexDoc                 <+>
    434 
    +    | bi_tick_mod == current_module = index_doc
    435 
    +    | otherwise                     = index_doc                <+>
    434 436 
                                           text "in"                <+>
    435 437 
                                           quotes (ppr bi_tick_mod)
    436 438 
         where
    437 439
    438 
    -    indexDoc :: SDoc
    439 
    -    indexDoc = ppr bi_tick_index
    440 
    +    index_doc :: SDoc
    441 
    +    index_doc = ppr bi_tick_index
    440 442
    441 443 
     -- | Constructs textual information about static-pointer table entries.
    442 444 
     pprStaticPointerTableEntries :: [SptEntry] -> SDoc
    ... ... @@ -447,58 +449,69 @@ pprStaticPointerTableEntries = entry (text "static-pointer table entries") .
    447 449 
     -- | Constructs textual information about a single static-pointer table entry.
    448 450 
     pprStaticPointerTableEntry :: SptEntry -> SDoc
    449 451 
     pprStaticPointerTableEntry (SptEntry name fingerprint)
    450 
    -  = ppr fingerprint <> text ":" <+> ppr name
    452 
    +  = ppr fingerprint <> text ":" <+> pprName name
    451 453
    452 454 
     -- | Constructs textual information about HPC info.
    453 
    -pprHPCInfo :: Strict.Maybe ByteCodeHpcInfo -> SDoc
    454 
    -pprHPCInfo = entry (text "HPC information") .
    455 
    -             Strict.maybe (text "<none>") pprActualHPCInfo
    455 
    +pprHPCInfo :: Module                       -- ^ The enclosing module
    456 
    +           -> Strict.Maybe ByteCodeHpcInfo -- ^ The HPC info
    457 
    +           -> SDoc                         -- ^ The textual information
    458 
    +pprHPCInfo current_module
    459 
    +  = entry (text "HPC information") .
    460 
    +    Strict.maybe (text "<none>") (pprActualHPCInfo current_module)
    456 461
    457 462 
     -- | Constructs textual information about actual HPC info.
    458 
    -pprActualHPCInfo :: ByteCodeHpcInfo -> SDoc
    459 
    -pprActualHPCInfo ByteCodeHpcInfo {..}
    460 
    -  = vcat [
    463 
    +pprActualHPCInfo :: Module          -- ^ The enclosing module
    464 
    +                 -> ByteCodeHpcInfo -- ^ The actual HPC info
    465 
    +                 -> SDoc            -- ^ The textual information
    466 
    +pprActualHPCInfo current_module ByteCodeHpcInfo {..}
    467 
    +  = assert (
    468 
    +             utf8DecodeShortByteString bchi_module_name
    469 
    +             ==
    470 
    +             moduleNameString (moduleName current_module)
    471 
    +           )
    472 
    +    $
    473 
    +    vcat [
    461 474 
                pprHPCInfoHash $ bchi_hash,
    462 
    -           pprModuleName  $ bchi_module_name,
    463 
    -           pprTickBoxName $ bchi_tickbox_name,
    475 
    +           pprTickBox     $ bchi_tickbox_name,
    464 476 
                pprTickCount   $ bchi_tick_count
    465 477 
              ]
    466 478
    467 479 
     -- | Constructs textual information about the hash of HPC info.
    468 480 
     pprHPCInfoHash :: Int -> SDoc
    469 
    -pprHPCInfoHash = entry (text "hash") . pprFixedSizeNatural
    470 
    -
    471 
    --- | Constructs textual information about a module name.
    472 
    -pprModuleName :: ShortByteString -> SDoc
    473 
    -pprModuleName = entry (text "module name") .
    474 
    -                text                       .
    475 
    -                utf8DecodeShortByteString
    481 
    +pprHPCInfoHash = entry (text "hash") . pprFixedSizeNatural . intToWord
    476 482
    477 
    --- | Constructs textual information about a tick box name.
    478 
    -pprTickBoxName :: ShortByteString -> SDoc
    479 
    -pprTickBoxName = entry (text "tick box name") .
    480 
    -                 text                         .
    481 
    -                 utf8DecodeShortByteString
    483 
    +-- | Constructs textual information about a tick box.
    484 
    +pprTickBox :: ShortByteString -> SDoc
    485 
    +pprTickBox = entry (text "tick box") . text . utf8DecodeShortByteString
    482 486
    483 487 
     -- | Constructs textual information about a number of tick counts.
    484 488 
     pprTickCount :: Int -> SDoc
    485 489 
     pprTickCount = entry (text "number of ticks") . ppr
    486 490
    491 
    +-- | Constructs the Haskell representation of a name.
    492 
    +pprName :: Name -> SDoc
    493 
    +pprName name | isSymOcc (nameOccName name) = text "(" <> ppr name <> text ")"
    494 
    +             | otherwise                   = ppr name
    495 
    +
    487 496 
     -- | Constructs a hexadecimal representation of a natural number such that the
    488 497 
     --   number of hexadecimal digits fits the number of bits used to represent the
    489 498 
     --   natural number.
    490 499 
     pprFixedSizeNatural :: (Integral a, FiniteBits a) => a -> SDoc
    491 500 
     pprFixedSizeNatural num
    492 501 
       = assert (num >= 0) $
    493 
    -    text $ replicate (digitCount - length unpadded) '0' ++ unpadded
    502 
    +    text $ replicate (digit_count - length unpadded) '0' ++ unpadded
    494 503 
       where
    495 504
    496 
    -  digitCount :: Int
    497 
    -  digitCount = (finiteBitSize num + 3) `div` 4
    505 
    +  digit_count :: Int
    506 
    +  digit_count = (finiteBitSize num + 3) `div` 4
    498 507
    499 508 
       unpadded :: String
    500 509 
       unpadded = showHex num ""
    501 510
    511 
    +-- | Turns an 'Int' value into the 'Word' value with the same representation.
    512 
    +intToWord :: Int -> Word
    513 
    +intToWord (I# int#) = W# (int2Word# int#)
    514 
    +
    502 515 
     -- | Constructs a textual representation of a boolean, interpreting 'True' and
    503 516 
     --   'False' as “yes” and “no”, respectively.
    504 517 
     noOrYes :: Bool -> SDoc

  • testsuite/tests/show-bytecode/show-bytecode-breakpoints.stdout
    1 1 
     [1 of 1] Compiling Example          ( Example.hs, Example.gbc )
    2 
    -name: Example
    2 
    +module: Example
    3 3 
     hash: @hash@
    4 4 
     objects:
    5 
    -  ordinary object ‘primesPtr’:
    5 
    +  object ‘primesPtr’:
    6 6 
         arity: 0
    7 7 
         literals:
    8 8 
           top-level string "Example"
    ... ... @@ -14,7 +14,7 @@ objects:
    14 14 
           named item ‘$dTypeable2_@name_suffix@’
    15 15 
           named item ‘$fIsStaticStaticPtr’
    16 16 
       static-construction object ‘static_ptr1’:
    17 
    -    data constructor name: StaticPtr
    17 
    +    data constructor: StaticPtr
    18 18 
         lifted: yes
    19 19 
         literals:
    20 20 
           word @large_word@
    ... ... @@ -23,56 +23,56 @@ objects:
    23 23 
           named item ‘static_ptr1_sat_@name_suffix@’
    24 24 
           named item ‘primes’
    25 25 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    26 
    -    data constructor name: StaticPtrInfo
    26 
    +    data constructor: StaticPtrInfo
    27 27 
         lifted: yes
    28 28 
         literals: <none>
    29 29 
         used items:
    30 30 
           named item ‘static_ptr1_sat_@name_suffix@’
    31 31 
           named item ‘static_ptr1_sat_@name_suffix@’
    32 32 
           named item ‘static_ptr1_sat_@name_suffix@’
    33 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    33 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    34 34 
         arity: 0
    35 35 
         literals: top-level string "main"
    36 36 
         used items:
    37 
    -      ordinary object ‘static_ptr1_sat_@name_suffix@’:
    37 
    +      object ‘static_ptr1_sat_@name_suffix@’:
    38 38 
             arity: 0
    39 39 
             literals: <none>
    40 40 
             used items: named item ‘unpackCString#’
    41 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    41 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    42 42 
         arity: 0
    43 43 
         literals: top-level string "Example"
    44 44 
         used items:
    45 
    -      ordinary object ‘static_ptr1_sat_@name_suffix@’:
    45 
    +      object ‘static_ptr1_sat_@name_suffix@’:
    46 46 
             arity: 0
    47 47 
             literals: <none>
    48 48 
             used items: named item ‘unpackCString#’
    49 49 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    50 
    -    data constructor name: (,)
    50 
    +    data constructor: (,)
    51 51 
         lifted: yes
    52 52 
         literals: <none>
    53 53 
         used items:
    54 54 
           named item ‘static_ptr1_sat_@name_suffix@’
    55 55 
           named item ‘static_ptr1_sat_@name_suffix@’
    56 56 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    57 
    -    data constructor name: I#
    57 
    +    data constructor: I#
    58 58 
         lifted: yes
    59 59 
         literals: word 27
    60 60 
         used items: <none>
    61 61 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    62 
    -    data constructor name: I#
    62 
    +    data constructor: I#
    63 63 
         lifted: yes
    64 64 
         literals: word 20
    65 65 
         used items: <none>
    66 
    -  ordinary object ‘primes’:
    66 
    +  object ‘primes’:
    67 67 
         arity: 0
    68 68 
         literals:
    69 69 
           top-level string "Example"
    70 70 
           top-level string "main"
    71 71 
           cost center of breakpoint 2
    72 
    -      info table of ‘:’
    72 
    +      info table of ‘(:)’
    73 73 
         used items:
    74 74 
           break array of module ‘Example’
    75 
    -      ordinary object ‘primes_sat_@name_suffix@’:
    75 
    +      object ‘primes_sat_@name_suffix@’:
    76 76 
             arity: 0
    77 77 
             literals:
    78 78 
               top-level string "Example"
    ... ... @@ -80,11 +80,11 @@ objects:
    80 80 
               cost center of breakpoint 1
    81 81 
             used items:
    82 82 
               break array of module ‘Example’
    83 
    -          ordinary object ‘primes_sat_@name_suffix@’:
    83 
    +          object ‘primes_sat_@name_suffix@’:
    84 84 
                 arity: 0
    85 85 
                 literals: <none>
    86 86 
                 used items:
    87 
    -              ordinary object ‘primes_sat_@name_suffix@’:
    87 
    +              object ‘primes_sat_@name_suffix@’:
    88 88 
                     arity: 0
    89 89 
                     literals:
    90 90 
                       word 3
    ... ... @@ -96,7 +96,7 @@ objects:
    96 96 
                   named item ‘enumFrom’
    97 97 
               named item ‘isPrime_@name_suffix@’
    98 98 
               named item ‘filter’
    99 
    -      ordinary object ‘primes_sat_@name_suffix@’:
    99 
    +      object ‘primes_sat_@name_suffix@’:
    100 100 
             arity: 0
    101 101 
             literals:
    102 102 
               word 2
    ... ... @@ -104,7 +104,7 @@ objects:
    104 104 
             used items:
    105 105 
               named item ‘$fNumNatural’
    106 106 
               named item ‘fromInteger’
    107 
    -  ordinary object ‘isPrime_@name_suffix@’:
    107 
    +  object ‘isPrime_@name_suffix@’:
    108 108 
         arity: 1
    109 109 
         literals:
    110 110 
           top-level string "Example"
    ... ... @@ -112,7 +112,7 @@ objects:
    112 112 
           cost center of breakpoint 9
    113 113 
         used items:
    114 114 
           break array of module ‘Example’
    115 
    -      ordinary object ‘isPrime_sat_@name_suffix@’:
    115 
    +      object ‘isPrime_sat_@name_suffix@’:
    116 116 
             arity: 1
    117 117 
             literals:
    118 118 
               top-level string "Example"
    ... ... @@ -120,7 +120,7 @@ objects:
    120 120 
               cost center of breakpoint 8
    121 121 
             used items:
    122 122 
               break array of module ‘Example’
    123 
    -          ordinary object ‘isPrime_sat_@name_suffix@’:
    123 
    +          object ‘isPrime_sat_@name_suffix@’:
    124 124 
                 arity: 1
    125 125 
                 literals:
    126 126 
                   top-level string "Example"
    ... ... @@ -128,7 +128,7 @@ objects:
    128 128 
                   cost center of breakpoint 7
    129 129 
                 used items:
    130 130 
                   break array of module ‘Example’
    131 
    -              ordinary object ‘isPrime_sat_@name_suffix@’:
    131 
    +              object ‘isPrime_sat_@name_suffix@’:
    132 132 
                     arity: 1
    133 133 
                     literals:
    134 134 
                       top-level string "Example"
    ... ... @@ -136,7 +136,7 @@ objects:
    136 136 
                       cost center of breakpoint 6
    137 137 
                     used items:
    138 138 
                       break array of module ‘Example’
    139 
    -                  ordinary object ‘isPrime_sat_@name_suffix@’:
    139 
    +                  object ‘isPrime_sat_@name_suffix@’:
    140 140 
                         arity: 0
    141 141 
                         literals:
    142 142 
                           top-level string "Example"
    ... ... @@ -146,18 +146,18 @@ objects:
    146 146 
                           info table of ‘IS’
    147 147 
                         used items:
    148 148 
                           break array of module ‘Example’
    149 
    -                      ordinary object ‘v_@name_suffix@’:
    149 
    +                      object ‘v_@name_suffix@’:
    150 150 
                             arity: 0
    151 151 
                             literals: <none>
    152 152 
                             used items:
    153 153 
                               named item ‘$fIntegralInteger’
    154 154 
                               named item ‘$fNumNatural’
    155 
    -                          named item ‘^’
    156 
    -                      ordinary object ‘pap_@name_suffix@’:
    155 
    +                          named item ‘(^)’
    156 
    +                      object ‘pap_@name_suffix@’:
    157 157 
                             arity: 3
    158 158 
                             literals: <none>
    159 159 
                             used items: <none>
    160 
    -                  ordinary object ‘isPrime_sat_@name_suffix@’:
    160 
    +                  object ‘isPrime_sat_@name_suffix@’:
    161 161 
                         arity: 1
    162 162 
                         literals:
    163 163 
                           top-level string "Example"
    ... ... @@ -165,20 +165,20 @@ objects:
    165 165 
                           cost center of breakpoint 4
    166 166 
                         used items:
    167 167 
                           break array of module ‘Example’
    168 
    -                      ordinary object ‘v_@name_suffix@’:
    168 
    +                      object ‘v_@name_suffix@’:
    169 169 
                             arity: 0
    170 170 
                             literals: <none>
    171 171 
                             used items:
    172 172 
                               named item ‘$fOrdNatural’
    173 
    -                          named item ‘<=’
    174 
    -                      ordinary object ‘pap_@name_suffix@’:
    173 
    +                          named item ‘(<=)’
    174 
    +                      object ‘pap_@name_suffix@’:
    175 175 
                             arity: 3
    176 176 
                             literals: <none>
    177 177 
                             used items: <none>
    178 
    -                  named item ‘.’
    178 
    +                  named item ‘(.)’
    179 179 
                   named item ‘primes’
    180 180 
                   named item ‘takeWhile’
    181 
    -          ordinary object ‘isPrime_sat_@name_suffix@’:
    181 
    +          object ‘isPrime_sat_@name_suffix@’:
    182 182 
                 arity: 1
    183 183 
                 literals:
    184 184 
                   top-level string "Example"
    ... ... @@ -186,7 +186,7 @@ objects:
    186 186 
                   cost center of breakpoint 3
    187 187 
                 used items:
    188 188 
                   break array of module ‘Example’
    189 
    -              ordinary object ‘pap_@name_suffix@’:
    189 
    +              object ‘pap_@name_suffix@’:
    190 190 
                     arity: 2
    191 191 
                     literals: <none>
    192 192 
                     used items:
    ... ... @@ -195,7 +195,7 @@ objects:
    195 195 
               named item ‘$fFoldableList’
    196 196 
               named item ‘any’
    197 197 
           named item ‘not’
    198 
    -  ordinary object ‘fibonaccisPtr’:
    198 
    +  object ‘fibonaccisPtr’:
    199 199 
         arity: 0
    200 200 
         literals:
    201 201 
           top-level string "Example"
    ... ... @@ -207,7 +207,7 @@ objects:
    207 207 
           named item ‘$dTypeable2_@name_suffix@’
    208 208 
           named item ‘$fIsStaticStaticPtr’
    209 209 
       static-construction object ‘static_ptr’:
    210 
    -    data constructor name: StaticPtr
    210 
    +    data constructor: StaticPtr
    211 211 
         lifted: yes
    212 212 
         literals:
    213 213 
           word @large_word@
    ... ... @@ -216,56 +216,56 @@ objects:
    216 216 
           named item ‘static_ptr_sat_@name_suffix@’
    217 217 
           named item ‘fibonaccis’
    218 218 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    219 
    -    data constructor name: StaticPtrInfo
    219 
    +    data constructor: StaticPtrInfo
    220 220 
         lifted: yes
    221 221 
         literals: <none>
    222 222 
         used items:
    223 223 
           named item ‘static_ptr_sat_@name_suffix@’
    224 224 
           named item ‘static_ptr_sat_@name_suffix@’
    225 225 
           named item ‘static_ptr_sat_@name_suffix@’
    226 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    226 
    +  object ‘static_ptr_sat_@name_suffix@’:
    227 227 
         arity: 0
    228 228 
         literals: top-level string "main"
    229 229 
         used items:
    230 
    -      ordinary object ‘static_ptr_sat_@name_suffix@’:
    230 
    +      object ‘static_ptr_sat_@name_suffix@’:
    231 231 
             arity: 0
    232 232 
             literals: <none>
    233 233 
             used items: named item ‘unpackCString#’
    234 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    234 
    +  object ‘static_ptr_sat_@name_suffix@’:
    235 235 
         arity: 0
    236 236 
         literals: top-level string "Example"
    237 237 
         used items:
    238 
    -      ordinary object ‘static_ptr_sat_@name_suffix@’:
    238 
    +      object ‘static_ptr_sat_@name_suffix@’:
    239 239 
             arity: 0
    240 240 
             literals: <none>
    241 241 
             used items: named item ‘unpackCString#’
    242 242 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    243 
    -    data constructor name: (,)
    243 
    +    data constructor: (,)
    244 244 
         lifted: yes
    245 245 
         literals: <none>
    246 246 
         used items:
    247 247 
           named item ‘static_ptr_sat_@name_suffix@’
    248 248 
           named item ‘static_ptr_sat_@name_suffix@’
    249 249 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    250 
    -    data constructor name: I#
    250 
    +    data constructor: I#
    251 251 
         lifted: yes
    252 252 
         literals: word 15
    253 253 
         used items: <none>
    254 254 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    255 
    -    data constructor name: I#
    255 
    +    data constructor: I#
    256 256 
         lifted: yes
    257 257 
         literals: word 24
    258 258 
         used items: <none>
    259 
    -  ordinary object ‘fibonaccis’:
    259 
    +  object ‘fibonaccis’:
    260 260 
         arity: 0
    261 261 
         literals:
    262 262 
           top-level string "Example"
    263 263 
           top-level string "main"
    264 264 
           cost center of breakpoint 11
    265 
    -      info table of ‘:’
    265 
    +      info table of ‘(:)’
    266 266 
         used items:
    267 267 
           break array of module ‘Example’
    268 
    -      ordinary object ‘fibonaccis_sat_@name_suffix@’:
    268 
    +      object ‘fibonaccis_sat_@name_suffix@’:
    269 269 
             arity: 0
    270 270 
             literals:
    271 271 
               word 0
    ... ... @@ -274,16 +274,16 @@ objects:
    274 274 
               named item ‘$fNumNatural’
    275 275 
               named item ‘fromInteger’
    276 276 
           named item ‘positiveFibonaccis_@name_suffix@’
    277 
    -  ordinary object ‘positiveFibonaccis_@name_suffix@’:
    277 
    +  object ‘positiveFibonaccis_@name_suffix@’:
    278 278 
         arity: 0
    279 279 
         literals:
    280 280 
           top-level string "Example"
    281 281 
           top-level string "main"
    282 282 
           cost center of breakpoint 13
    283 
    -      info table of ‘:’
    283 
    +      info table of ‘(:)’
    284 284 
         used items:
    285 285 
           break array of module ‘Example’
    286 
    -      ordinary object ‘positiveFibonaccis_sat_@name_suffix@’:
    286 
    +      object ‘positiveFibonaccis_sat_@name_suffix@’:
    287 287 
             arity: 0
    288 288 
             literals:
    289 289 
               top-level string "Example"
    ... ... @@ -291,16 +291,16 @@ objects:
    291 291 
               cost center of breakpoint 12
    292 292 
             used items:
    293 293 
               break array of module ‘Example’
    294 
    -          ordinary object ‘positiveFibonaccis_sat_@name_suffix@’:
    294 
    +          object ‘positiveFibonaccis_sat_@name_suffix@’:
    295 295 
                 arity: 0
    296 296 
                 literals: <none>
    297 297 
                 used items:
    298 298 
                   named item ‘$fNumNatural’
    299 
    -              named item ‘+’
    299 
    +              named item ‘(+)’
    300 300 
               named item ‘positiveFibonaccis_@name_suffix@’
    301 301 
               named item ‘fibonaccis’
    302 302 
               named item ‘zipWith’
    303 
    -      ordinary object ‘positiveFibonaccis_sat_@name_suffix@’:
    303 
    +      object ‘positiveFibonaccis_sat_@name_suffix@’:
    304 304 
             arity: 0
    305 305 
             literals:
    306 306 
               word 1
    ... ... @@ -308,27 +308,27 @@ objects:
    308 308 
             used items:
    309 309 
               named item ‘$fNumNatural’
    310 310 
               named item ‘fromInteger’
    311 
    -  ordinary object ‘$dTypeable2_@name_suffix@’:
    311 
    +  object ‘$dTypeable2_@name_suffix@’:
    312 312 
         arity: 0
    313 313 
         literals: <none>
    314 314 
         used items:
    315 315 
           named item ‘$dTypeable_@name_suffix@’
    316 316 
           named item ‘$dTypeable1_@name_suffix@’
    317 317 
           named item ‘mkTrAppChecked’
    318 
    -  ordinary object ‘$dTypeable1_@name_suffix@’:
    318 
    +  object ‘$dTypeable1_@name_suffix@’:
    319 319 
         arity: 0
    320 320 
         literals: info table of ‘[]’
    321 321 
         used items:
    322 322 
           named item ‘$tcList’
    323 323 
           named item ‘mkTrCon’
    324 
    -  ordinary object ‘$dTypeable_@name_suffix@’:
    324 
    +  object ‘$dTypeable_@name_suffix@’:
    325 325 
         arity: 0
    326 326 
         literals: info table of ‘[]’
    327 327 
         used items:
    328 328 
           named item ‘$tcNatural’
    329 329 
           named item ‘mkTrCon’
    330 330 
       static-construction object ‘$tc'Nested’:
    331 
    -    data constructor name: TyCon
    331 
    +    data constructor: TyCon
    332 332 
         lifted: yes
    333 333 
         literals:
    334 334 
           word @large_word@
    ... ... @@ -339,33 +339,33 @@ objects:
    339 339 
           named item ‘$tc'Nested2_@name_suffix@’
    340 340 
           named item ‘$krep17_@name_suffix@’
    341 341 
       static-construction object ‘$tc'Nested2_@name_suffix@’:
    342 
    -    data constructor name: TrNameS
    342 
    +    data constructor: TrNameS
    343 343 
         lifted: yes
    344 344 
         literals: address ‘$tc'Nested1_@name_suffix@’
    345 345 
         used items: <none>
    346 346 
       static-construction object ‘$krep17_@name_suffix@’:
    347 
    -    data constructor name: KindRepFun
    347 
    +    data constructor: KindRepFun
    348 348 
         lifted: yes
    349 349 
         literals: <none>
    350 350 
         used items:
    351 351 
           named item ‘$krep16_@name_suffix@’
    352 352 
           named item ‘$krep13_@name_suffix@’
    353 353 
       static-construction object ‘$krep16_@name_suffix@’:
    354 
    -    data constructor name: KindRepTyConApp
    354 
    +    data constructor: KindRepTyConApp
    355 355 
         lifted: yes
    356 356 
         literals: <none>
    357 357 
         used items:
    358 358 
           named item ‘$tcPerfectTree’
    359 359 
           named item ‘$krep15_@name_suffix@’
    360 360 
       static-construction object ‘$krep15_@name_suffix@’:
    361 
    -    data constructor name: :
    361 
    +    data constructor: (:)
    362 362 
         lifted: yes
    363 363 
         literals: <none>
    364 364 
         used items:
    365 365 
           named item ‘$krep4_@name_suffix@’
    366 366 
           named item ‘[]’
    367 367 
       static-construction object ‘$tc'PerfectTree’:
    368 
    -    data constructor name: TyCon
    368 
    +    data constructor: TyCon
    369 369 
         lifted: yes
    370 370 
         literals:
    371 371 
           word @large_word@
    ... ... @@ -376,33 +376,33 @@ objects:
    376 376 
           named item ‘$tc'PerfectTree2_@name_suffix@’
    377 377 
           named item ‘$krep14_@name_suffix@’
    378 378 
       static-construction object ‘$tc'PerfectTree2_@name_suffix@’:
    379 
    -    data constructor name: TrNameS
    379 
    +    data constructor: TrNameS
    380 380 
         lifted: yes
    381 381 
         literals: address ‘$tc'PerfectTree1_@name_suffix@’
    382 382 
         used items: <none>
    383 383 
       static-construction object ‘$krep14_@name_suffix@’:
    384 
    -    data constructor name: KindRepFun
    384 
    +    data constructor: KindRepFun
    385 385 
         lifted: yes
    386 386 
         literals: <none>
    387 387 
         used items:
    388 388 
           named item ‘$krep1_@name_suffix@’
    389 389 
           named item ‘$krep13_@name_suffix@’
    390 390 
       static-construction object ‘$krep13_@name_suffix@’:
    391 
    -    data constructor name: KindRepTyConApp
    391 
    +    data constructor: KindRepTyConApp
    392 392 
         lifted: yes
    393 393 
         literals: <none>
    394 394 
         used items:
    395 395 
           named item ‘$tcPerfectTree’
    396 396 
           named item ‘$krep12_@name_suffix@’
    397 397 
       static-construction object ‘$krep12_@name_suffix@’:
    398 
    -    data constructor name: :
    398 
    +    data constructor: (:)
    399 399 
         lifted: yes
    400 400 
         literals: <none>
    401 401 
         used items:
    402 402 
           named item ‘$krep1_@name_suffix@’
    403 403 
           named item ‘[]’
    404 404 
       static-construction object ‘$tcPerfectTree’:
    405 
    -    data constructor name: TyCon
    405 
    +    data constructor: TyCon
    406 406 
         lifted: yes
    407 407 
         literals:
    408 408 
           word @large_word@
    ... ... @@ -413,12 +413,12 @@ objects:
    413 413 
           named item ‘$tcPerfectTree2_@name_suffix@’
    414 414 
           named item ‘krep$*Arr*’
    415 415 
       static-construction object ‘$tcPerfectTree2_@name_suffix@’:
    416 
    -    data constructor name: TrNameS
    416 
    +    data constructor: TrNameS
    417 417 
         lifted: yes
    418 418 
         literals: address ‘$tcPerfectTree1_@name_suffix@’
    419 419 
         used items: <none>
    420 420 
       static-construction object ‘$tc'Node’:
    421 
    -    data constructor name: TyCon
    421 
    +    data constructor: TyCon
    422 422 
         lifted: yes
    423 423 
         literals:
    424 424 
           word @large_word@
    ... ... @@ -429,33 +429,33 @@ objects:
    429 429 
           named item ‘$tc'Node2_@name_suffix@’
    430 430 
           named item ‘$krep11_@name_suffix@’
    431 431 
       static-construction object ‘$tc'Node2_@name_suffix@’:
    432 
    -    data constructor name: TrNameS
    432 
    +    data constructor: TrNameS
    433 433 
         lifted: yes
    434 434 
         literals: address ‘$tc'Node1_@name_suffix@’
    435 435 
         used items: <none>
    436 436 
       static-construction object ‘$krep11_@name_suffix@’:
    437 
    -    data constructor name: KindRepFun
    437 
    +    data constructor: KindRepFun
    438 438 
         lifted: yes
    439 439 
         literals: <none>
    440 440 
         used items:
    441 441 
           named item ‘$krep7_@name_suffix@’
    442 442 
           named item ‘$krep10_@name_suffix@’
    443 443 
       static-construction object ‘$krep10_@name_suffix@’:
    444 
    -    data constructor name: KindRepFun
    444 
    +    data constructor: KindRepFun
    445 445 
         lifted: yes
    446 446 
         literals: <none>
    447 447 
         used items:
    448 448 
           named item ‘$krep_@name_suffix@’
    449 449 
           named item ‘$krep9_@name_suffix@’
    450 450 
       static-construction object ‘$krep9_@name_suffix@’:
    451 
    -    data constructor name: KindRepFun
    451 
    +    data constructor: KindRepFun
    452 452 
         lifted: yes
    453 453 
         literals: <none>
    454 454 
         used items:
    455 455 
           named item ‘$krep7_@name_suffix@’
    456 456 
           named item ‘$krep7_@name_suffix@’
    457 457 
       static-construction object ‘$tc'Leaf’:
    458 
    -    data constructor name: TyCon
    458 
    +    data constructor: TyCon
    459 459 
         lifted: yes
    460 460 
         literals:
    461 461 
           word @large_word@
    ... ... @@ -466,40 +466,40 @@ objects:
    466 466 
           named item ‘$tc'Leaf2_@name_suffix@’
    467 467 
           named item ‘$krep8_@name_suffix@’
    468 468 
       static-construction object ‘$tc'Leaf2_@name_suffix@’:
    469 
    -    data constructor name: TrNameS
    469 
    +    data constructor: TrNameS
    470 470 
         lifted: yes
    471 471 
         literals: address ‘$tc'Leaf1_@name_suffix@’
    472 472 
         used items: <none>
    473 473 
       static-construction object ‘$krep8_@name_suffix@’:
    474 
    -    data constructor name: KindRepFun
    474 
    +    data constructor: KindRepFun
    475 475 
         lifted: yes
    476 476 
         literals: <none>
    477 477 
         used items:
    478 478 
           named item ‘$krep1_@name_suffix@’
    479 479 
           named item ‘$krep7_@name_suffix@’
    480 480 
       static-construction object ‘$krep7_@name_suffix@’:
    481 
    -    data constructor name: KindRepTyConApp
    481 
    +    data constructor: KindRepTyConApp
    482 482 
         lifted: yes
    483 483 
         literals: <none>
    484 484 
         used items:
    485 485 
           named item ‘$tcBinTree’
    486 486 
           named item ‘$krep6_@name_suffix@’
    487 487 
       static-construction object ‘$krep6_@name_suffix@’:
    488 
    -    data constructor name: :
    488 
    +    data constructor: (:)
    489 489 
         lifted: yes
    490 490 
         literals: <none>
    491 491 
         used items:
    492 492 
           named item ‘$krep1_@name_suffix@’
    493 493 
           named item ‘$krep5_@name_suffix@’
    494 494 
       static-construction object ‘$krep5_@name_suffix@’:
    495 
    -    data constructor name: :
    495 
    +    data constructor: (:)
    496 496 
         lifted: yes
    497 497 
         literals: <none>
    498 498 
         used items:
    499 499 
           named item ‘$krep_@name_suffix@’
    500 500 
           named item ‘[]’
    501 501 
       static-construction object ‘$tcBinTree’:
    502 
    -    data constructor name: TyCon
    502 
    +    data constructor: TyCon
    503 503 
         lifted: yes
    504 504 
         literals:
    505 505 
           word @large_word@
    ... ... @@ -510,79 +510,79 @@ objects:
    510 510 
           named item ‘$tcBinTree2_@name_suffix@’
    511 511 
           named item ‘krep$*->*->*’
    512 512 
       static-construction object ‘$tcBinTree2_@name_suffix@’:
    513 
    -    data constructor name: TrNameS
    513 
    +    data constructor: TrNameS
    514 514 
         lifted: yes
    515 515 
         literals: address ‘$tcBinTree1_@name_suffix@’
    516 516 
         used items: <none>
    517 517 
       static-construction object ‘$krep4_@name_suffix@’:
    518 
    -    data constructor name: KindRepTyConApp
    518 
    +    data constructor: KindRepTyConApp
    519 519 
         lifted: yes
    520 520 
         literals: <none>
    521 521 
         used items:
    522 522 
           named item ‘$tcTuple2’
    523 523 
           named item ‘$krep3_@name_suffix@’
    524 524 
       static-construction object ‘$krep3_@name_suffix@’:
    525 
    -    data constructor name: :
    525 
    +    data constructor: (:)
    526 526 
         lifted: yes
    527 527 
         literals: <none>
    528 528 
         used items:
    529 529 
           named item ‘$krep1_@name_suffix@’
    530 530 
           named item ‘$krep2_@name_suffix@’
    531 531 
       static-construction object ‘$krep2_@name_suffix@’:
    532 
    -    data constructor name: :
    532 
    +    data constructor: (:)
    533 533 
         lifted: yes
    534 534 
         literals: <none>
    535 535 
         used items:
    536 536 
           named item ‘$krep1_@name_suffix@’
    537 537 
           named item ‘[]’
    538 538 
       static-construction object ‘$krep1_@name_suffix@’:
    539 
    -    data constructor name: KindRepVar
    539 
    +    data constructor: KindRepVar
    540 540 
         lifted: yes
    541 541 
         literals: word 0
    542 542 
         used items: <none>
    543 543 
       static-construction object ‘$krep_@name_suffix@’:
    544 
    -    data constructor name: KindRepVar
    544 
    +    data constructor: KindRepVar
    545 545 
         lifted: yes
    546 546 
         literals: word 1
    547 547 
         used items: <none>
    548 548 
       static-construction object ‘$trModule’:
    549 
    -    data constructor name: Module
    549 
    +    data constructor: Module
    550 550 
         lifted: yes
    551 551 
         literals: <none>
    552 552 
         used items:
    553 553 
           named item ‘$trModule2_@name_suffix@’
    554 554 
           named item ‘$trModule4_@name_suffix@’
    555 555 
       static-construction object ‘$trModule4_@name_suffix@’:
    556 
    -    data constructor name: TrNameS
    556 
    +    data constructor: TrNameS
    557 557 
         lifted: yes
    558 558 
         literals: address ‘$trModule3_@name_suffix@’
    559 559 
         used items: <none>
    560 560 
       static-construction object ‘$trModule2_@name_suffix@’:
    561 
    -    data constructor name: TrNameS
    561 
    +    data constructor: TrNameS
    562 562 
         lifted: yes
    563 563 
         literals: address ‘$trModule1_@name_suffix@’
    564 564 
         used items: <none>
    565 
    -  ordinary object ‘divides’:
    565 
    +  object ‘divides’:
    566 566 
         arity: 3
    567 567 
         literals: <none>
    568 568 
         used items:
    569 
    -      ordinary object ‘$dReal_@name_suffix@’:
    569 
    +      object ‘$dReal_@name_suffix@’:
    570 570 
             arity: 0
    571 571 
             literals: <none>
    572 572 
             used items:
    573 
    -          ordinary object ‘$dNum_@name_suffix@’:
    573 
    +          object ‘$dNum_@name_suffix@’:
    574 574 
                 arity: 0
    575 575 
                 literals: <none>
    576 576 
                 used items:
    577 
    -              ordinary object ‘$dEq_@name_suffix@’:
    577 
    +              object ‘$dEq_@name_suffix@’:
    578 578 
                     arity: 0
    579 579 
                     literals: <none>
    580 580 
                     used items:
    581 
    -                  ordinary object ‘$dEq1_@name_suffix@’:
    581 
    +                  object ‘$dEq1_@name_suffix@’:
    582 582 
                         arity: 0
    583 583 
                         literals: <none>
    584 584 
                         used items:
    585 
    -                      ordinary object ‘bcprep_@name_suffix@’:
    585 
    +                      object ‘bcprep_@name_suffix@’:
    586 586 
                             arity: 5
    587 587 
                             literals:
    588 588 
                               top-level string "Example"
    ... ... @@ -590,13 +590,13 @@ objects:
    590 590 
                               cost center of breakpoint 15
    591 591 
                             used items:
    592 592 
                               break array of module ‘Example’
    593 
    -                          ordinary object ‘divides_sat_@name_suffix@’:
    593 
    +                          object ‘divides_sat_@name_suffix@’:
    594 594 
                                 arity: 1
    595 595 
                                 literals:
    596 596 
                                   word 0
    597 597 
                                   info table of ‘IS’
    598 598 
                                 used items: named item ‘fromInteger’
    599 
    -                          ordinary object ‘divides_sat_@name_suffix@’:
    599 
    +                          object ‘divides_sat_@name_suffix@’:
    600 600 
                                 arity: 3
    601 601 
                                 literals:
    602 602 
                                   top-level string "Example"
    ... ... @@ -605,24 +605,24 @@ objects:
    605 605 
                                 used items:
    606 606 
                                   break array of module ‘Example’
    607 607 
                                   named item ‘mod’
    608 
    -                          named item ‘==’
    608 
    +                          named item ‘(==)’
    609 609 
                       named item ‘$p1Ord’
    610 610 
                   named item ‘$p2Real’
    611 611 
               named item ‘$p1Real’
    612 612 
           named item ‘$p1Integral’
    613 
    -  ordinary object ‘Node’:
    613 
    +  object ‘Node’:
    614 614 
         arity: 3
    615 615 
         literals: info table of ‘Node’
    616 616 
         used items: <none>
    617 
    -  ordinary object ‘Leaf’:
    617 
    +  object ‘Leaf’:
    618 618 
         arity: 1
    619 619 
         literals: info table of ‘Leaf’
    620 620 
         used items: <none>
    621 
    -  ordinary object ‘Nested’:
    621 
    +  object ‘Nested’:
    622 622 
         arity: 1
    623 623 
         literals: info table of ‘Nested’
    624 624 
         used items: <none>
    625 
    -  ordinary object ‘PerfectTree’:
    625 
    +  object ‘PerfectTree’:
    626 626 
         arity: 1
    627 627 
         literals: info table of ‘PerfectTree’
    628 628 
         used items: <none>

  • testsuite/tests/show-bytecode/show-bytecode-hpc.stdout
    1 1 
     [1 of 1] Compiling Example          ( Example.hs, Example.gbc )
    2 
    -name: Example
    2 
    +module: Example
    3 3 
     hash: @hash@
    4 4 
     objects:
    5 
    -  ordinary object ‘primesPtr’:
    5 
    +  object ‘primesPtr’:
    6 6 
         arity: 0
    7 7 
         literals:
    8 8 
           label ‘_hpc_tickboxes_Example_hpc’
    ... ... @@ -12,7 +12,7 @@ objects:
    12 12 
           named item ‘$dTypeable2_@name_suffix@’
    13 13 
           named item ‘$fIsStaticStaticPtr’
    14 14 
       static-construction object ‘static_ptr1’:
    15 
    -    data constructor name: StaticPtr
    15 
    +    data constructor: StaticPtr
    16 16 
         lifted: yes
    17 17 
         literals:
    18 18 
           word @large_word@
    ... ... @@ -21,59 +21,59 @@ objects:
    21 21 
           named item ‘static_ptr1_sat_@name_suffix@’
    22 22 
           named item ‘static_ptr1_sat_@name_suffix@’
    23 23 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    24 
    -    data constructor name: StaticPtrInfo
    24 
    +    data constructor: StaticPtrInfo
    25 25 
         lifted: yes
    26 26 
         literals: <none>
    27 27 
         used items:
    28 28 
           named item ‘static_ptr1_sat_@name_suffix@’
    29 29 
           named item ‘static_ptr1_sat_@name_suffix@’
    30 30 
           named item ‘static_ptr1_sat_@name_suffix@’
    31 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    31 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    32 32 
         arity: 0
    33 33 
         literals: top-level string "main"
    34 34 
         used items:
    35 
    -      ordinary object ‘static_ptr1_sat_@name_suffix@’:
    35 
    +      object ‘static_ptr1_sat_@name_suffix@’:
    36 36 
             arity: 0
    37 37 
             literals: <none>
    38 38 
             used items: named item ‘unpackCString#’
    39 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    39 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    40 40 
         arity: 0
    41 41 
         literals: top-level string "Example"
    42 42 
         used items:
    43 
    -      ordinary object ‘static_ptr1_sat_@name_suffix@’:
    43 
    +      object ‘static_ptr1_sat_@name_suffix@’:
    44 44 
             arity: 0
    45 45 
             literals: <none>
    46 46 
             used items: named item ‘unpackCString#’
    47 47 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    48 
    -    data constructor name: (,)
    48 
    +    data constructor: (,)
    49 49 
         lifted: yes
    50 50 
         literals: <none>
    51 51 
         used items:
    52 52 
           named item ‘static_ptr1_sat_@name_suffix@’
    53 53 
           named item ‘static_ptr1_sat_@name_suffix@’
    54 54 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    55 
    -    data constructor name: I#
    55 
    +    data constructor: I#
    56 56 
         lifted: yes
    57 57 
         literals: word 27
    58 58 
         used items: <none>
    59 59 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    60 
    -    data constructor name: I#
    60 
    +    data constructor: I#
    61 61 
         lifted: yes
    62 62 
         literals: word 20
    63 63 
         used items: <none>
    64 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    64 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    65 65 
         arity: 0
    66 66 
         literals: label ‘_hpc_tickboxes_Example_hpc’
    67 67 
         used items: named item ‘primes’
    68 
    -  ordinary object ‘primes2_@name_suffix@’:
    68 
    +  object ‘primes2_@name_suffix@’:
    69 69 
         arity: 0
    70 70 
         literals: label ‘_hpc_tickboxes_Example_hpc’
    71 71 
         used items:
    72 
    -      ordinary object ‘primes2_sat_@name_suffix@’:
    72 
    +      object ‘primes2_sat_@name_suffix@’:
    73 73 
             arity: 0
    74 74 
             literals: label ‘_hpc_tickboxes_Example_hpc’
    75 75 
             used items:
    76 
    -          ordinary object ‘primes2_sat_@name_suffix@’:
    76 
    +          object ‘primes2_sat_@name_suffix@’:
    77 77 
                 arity: 0
    78 78 
                 literals:
    79 79 
                   label ‘_hpc_tickboxes_Example_hpc’
    ... ... @@ -84,110 +84,110 @@ objects:
    84 84 
                   named item ‘fromInteger’
    85 85 
               named item ‘$fEnumNatural’
    86 86 
               named item ‘enumFrom’
    87 
    -      ordinary object ‘primes2_sat_@name_suffix@’:
    87 
    +      object ‘primes2_sat_@name_suffix@’:
    88 88 
             arity: 0
    89 89 
             literals: label ‘_hpc_tickboxes_Example_hpc’
    90 90 
             used items: named item ‘isPrime_@name_suffix@’
    91 91 
           named item ‘filter’
    92 
    -  ordinary object ‘isPrime_@name_suffix@’:
    92 
    +  object ‘isPrime_@name_suffix@’:
    93 93 
         arity: 1
    94 94 
         literals:
    95 95 
           label ‘_hpc_tickboxes_Example_hpc’
    96 96 
           label ‘_hpc_tickboxes_Example_hpc’
    97 97 
         used items:
    98 
    -      ordinary object ‘isPrime_sat_@name_suffix@’:
    98 
    +      object ‘isPrime_sat_@name_suffix@’:
    99 99 
             arity: 1
    100 100 
             literals: label ‘_hpc_tickboxes_Example_hpc’
    101 101 
             used items:
    102 
    -          ordinary object ‘isPrime_sat_@name_suffix@’:
    102 
    +          object ‘isPrime_sat_@name_suffix@’:
    103 103 
                 arity: 1
    104 104 
                 literals: label ‘_hpc_tickboxes_Example_hpc’
    105 105 
                 used items:
    106 
    -              ordinary object ‘isPrime_sat_@name_suffix@’:
    106 
    +              object ‘isPrime_sat_@name_suffix@’:
    107 107 
                     arity: 0
    108 108 
                     literals: label ‘_hpc_tickboxes_Example_hpc’
    109 109 
                     used items: named item ‘primes’
    110 
    -              ordinary object ‘isPrime_sat_@name_suffix@’:
    110 
    +              object ‘isPrime_sat_@name_suffix@’:
    111 111 
                     arity: 1
    112 112 
                     literals: label ‘_hpc_tickboxes_Example_hpc’
    113 113 
                     used items:
    114 
    -                  ordinary object ‘isPrime_sat_@name_suffix@’:
    114 
    +                  object ‘isPrime_sat_@name_suffix@’:
    115 115 
                         arity: 0
    116 116 
                         literals: label ‘_hpc_tickboxes_Example_hpc’
    117 117 
                         used items:
    118 
    -                      ordinary object ‘v_@name_suffix@’:
    118 
    +                      object ‘v_@name_suffix@’:
    119 119 
                             arity: 0
    120 120 
                             literals: label ‘_hpc_tickboxes_Example_hpc’
    121 121 
                             used items:
    122 122 
                               named item ‘$fIntegralInteger’
    123 123 
                               named item ‘$fNumNatural’
    124 
    -                          named item ‘^’
    125 
    -                      ordinary object ‘v1_@name_suffix@’:
    124 
    +                          named item ‘(^)’
    125 
    +                      object ‘v1_@name_suffix@’:
    126 126 
                             arity: 0
    127 127 
                             literals:
    128 128 
                               label ‘_hpc_tickboxes_Example_hpc’
    129 129 
                               word 2
    130 130 
                               info table of ‘IS’
    131 131 
                             used items: <none>
    132 
    -                      ordinary object ‘pap_@name_suffix@’:
    132 
    +                      object ‘pap_@name_suffix@’:
    133 133 
                             arity: 3
    134 134 
                             literals: <none>
    135 135 
                             used items: <none>
    136 
    -                  ordinary object ‘isPrime_sat_@name_suffix@’:
    136 
    +                  object ‘isPrime_sat_@name_suffix@’:
    137 137 
                         arity: 1
    138 138 
                         literals: label ‘_hpc_tickboxes_Example_hpc’
    139 139 
                         used items:
    140 
    -                      ordinary object ‘v_@name_suffix@’:
    140 
    +                      object ‘v_@name_suffix@’:
    141 141 
                             arity: 0
    142 142 
                             literals: label ‘_hpc_tickboxes_Example_hpc’
    143 143 
                             used items:
    144 144 
                               named item ‘$fOrdNatural’
    145 
    -                          named item ‘<=’
    146 
    -                      ordinary object ‘v1_@name_suffix@’:
    145 
    +                          named item ‘(<=)’
    146 
    +                      object ‘v1_@name_suffix@’:
    147 147 
                             arity: 1
    148 148 
                             literals: label ‘_hpc_tickboxes_Example_hpc’
    149 149 
                             used items: <none>
    150 
    -                      ordinary object ‘pap_@name_suffix@’:
    150 
    +                      object ‘pap_@name_suffix@’:
    151 151 
                             arity: 3
    152 152 
                             literals: <none>
    153 153 
                             used items: <none>
    154 
    -                  named item ‘.’
    154 
    +                  named item ‘(.)’
    155 155 
                   named item ‘takeWhile’
    156 
    -          ordinary object ‘isPrime_sat_@name_suffix@’:
    156 
    +          object ‘isPrime_sat_@name_suffix@’:
    157 157 
                 arity: 1
    158 158 
                 literals: label ‘_hpc_tickboxes_Example_hpc’
    159 159 
                 used items:
    160 
    -              ordinary object ‘v_@name_suffix@’:
    160 
    +              object ‘v_@name_suffix@’:
    161 161 
                     arity: 0
    162 162 
                     literals: label ‘_hpc_tickboxes_Example_hpc’
    163 163 
                     used items:
    164 
    -                  ordinary object ‘pap_@name_suffix@’:
    164 
    +                  object ‘pap_@name_suffix@’:
    165 165 
                         arity: 2
    166 166 
                         literals: <none>
    167 167 
                         used items:
    168 168 
                           named item ‘$fIntegralNatural’
    169 169 
                           named item ‘divides’
    170 
    -              ordinary object ‘v1_@name_suffix@’:
    170 
    +              object ‘v1_@name_suffix@’:
    171 171 
                     arity: 1
    172 172 
                     literals: label ‘_hpc_tickboxes_Example_hpc’
    173 173 
                     used items: <none>
    174 
    -              ordinary object ‘pap_@name_suffix@’:
    174 
    +              object ‘pap_@name_suffix@’:
    175 175 
                     arity: 3
    176 176 
                     literals: <none>
    177 177 
                     used items: <none>
    178 178 
               named item ‘$fFoldableList’
    179 179 
               named item ‘any’
    180 180 
           named item ‘not’
    181 
    -  ordinary object ‘primes’:
    181 
    +  object ‘primes’:
    182 182 
         arity: 0
    183 183 
         literals:
    184 184 
           label ‘_hpc_tickboxes_Example_hpc’
    185 185 
           label ‘_hpc_tickboxes_Example_hpc’
    186 
    -      info table of ‘:’
    186 
    +      info table of ‘(:)’
    187 187 
         used items:
    188 188 
           named item ‘primes2_@name_suffix@’
    189 189 
           named item ‘primes1_@name_suffix@’
    190 
    -  ordinary object ‘primes1_@name_suffix@’:
    190 
    +  object ‘primes1_@name_suffix@’:
    191 191 
         arity: 0
    192 192 
         literals:
    193 193 
           label ‘_hpc_tickboxes_Example_hpc’
    ... ... @@ -196,7 +196,7 @@ objects:
    196 196 
         used items:
    197 197 
           named item ‘$fNumNatural’
    198 198 
           named item ‘fromInteger’
    199 
    -  ordinary object ‘fibonaccisPtr’:
    199 
    +  object ‘fibonaccisPtr’:
    200 200 
         arity: 0
    201 201 
         literals:
    202 202 
           label ‘_hpc_tickboxes_Example_hpc’
    ... ... @@ -206,7 +206,7 @@ objects:
    206 206 
           named item ‘$dTypeable2_@name_suffix@’
    207 207 
           named item ‘$fIsStaticStaticPtr’
    208 208 
       static-construction object ‘static_ptr’:
    209 
    -    data constructor name: StaticPtr
    209 
    +    data constructor: StaticPtr
    210 210 
         lifted: yes
    211 211 
         literals:
    212 212 
           word @large_word@
    ... ... @@ -215,92 +215,92 @@ objects:
    215 215 
           named item ‘static_ptr_sat_@name_suffix@’
    216 216 
           named item ‘static_ptr_sat_@name_suffix@’
    217 217 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    218 
    -    data constructor name: StaticPtrInfo
    218 
    +    data constructor: StaticPtrInfo
    219 219 
         lifted: yes
    220 220 
         literals: <none>
    221 221 
         used items:
    222 222 
           named item ‘static_ptr_sat_@name_suffix@’
    223 223 
           named item ‘static_ptr_sat_@name_suffix@’
    224 224 
           named item ‘static_ptr_sat_@name_suffix@’
    225 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    225 
    +  object ‘static_ptr_sat_@name_suffix@’:
    226 226 
         arity: 0
    227 227 
         literals: top-level string "main"
    228 228 
         used items:
    229 
    -      ordinary object ‘static_ptr_sat_@name_suffix@’:
    229 
    +      object ‘static_ptr_sat_@name_suffix@’:
    230 230 
             arity: 0
    231 231 
             literals: <none>
    232 232 
             used items: named item ‘unpackCString#’
    233 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    233 
    +  object ‘static_ptr_sat_@name_suffix@’:
    234 234 
         arity: 0
    235 235 
         literals: top-level string "Example"
    236 236 
         used items:
    237 
    -      ordinary object ‘static_ptr_sat_@name_suffix@’:
    237 
    +      object ‘static_ptr_sat_@name_suffix@’:
    238 238 
             arity: 0
    239 239 
             literals: <none>
    240 240 
             used items: named item ‘unpackCString#’
    241 241 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    242 
    -    data constructor name: (,)
    242 
    +    data constructor: (,)
    243 243 
         lifted: yes
    244 244 
         literals: <none>
    245 245 
         used items:
    246 246 
           named item ‘static_ptr_sat_@name_suffix@’
    247 247 
           named item ‘static_ptr_sat_@name_suffix@’
    248 248 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    249 
    -    data constructor name: I#
    249 
    +    data constructor: I#
    250 250 
         lifted: yes
    251 251 
         literals: word 15
    252 252 
         used items: <none>
    253 253 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    254 
    -    data constructor name: I#
    254 
    +    data constructor: I#
    255 255 
         lifted: yes
    256 256 
         literals: word 24
    257 257 
         used items: <none>
    258 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    258 
    +  object ‘static_ptr_sat_@name_suffix@’:
    259 259 
         arity: 0
    260 260 
         literals: label ‘_hpc_tickboxes_Example_hpc’
    261 261 
         used items: named item ‘fibonaccis’
    262 
    -  ordinary object ‘positiveFibonaccis1_@name_suffix@’:
    262 
    +  object ‘positiveFibonaccis1_@name_suffix@’:
    263 263 
         arity: 0
    264 264 
         literals:
    265 265 
           label ‘_hpc_tickboxes_Example_hpc’
    266 266 
           label ‘_hpc_tickboxes_Example_hpc’
    267 
    -      info table of ‘:’
    267 
    +      info table of ‘(:)’
    268 268 
         used items:
    269 269 
           named item ‘positiveFibonaccis2_@name_suffix@’
    270 270 
           named item ‘positiveFibonaccis_@name_suffix@’
    271 
    -  ordinary object ‘positiveFibonaccis2_@name_suffix@’:
    271 
    +  object ‘positiveFibonaccis2_@name_suffix@’:
    272 272 
         arity: 0
    273 273 
         literals: label ‘_hpc_tickboxes_Example_hpc’
    274 274 
         used items:
    275 
    -      ordinary object ‘positiveFibonaccis2_sat_@name_suffix@’:
    275 
    +      object ‘positiveFibonaccis2_sat_@name_suffix@’:
    276 276 
             arity: 0
    277 277 
             literals: label ‘_hpc_tickboxes_Example_hpc’
    278 278 
             used items: named item ‘positiveFibonaccis1_@name_suffix@’
    279 
    -      ordinary object ‘positiveFibonaccis2_sat_@name_suffix@’:
    279 
    +      object ‘positiveFibonaccis2_sat_@name_suffix@’:
    280 280 
             arity: 0
    281 281 
             literals: label ‘_hpc_tickboxes_Example_hpc’
    282 282 
             used items: named item ‘fibonaccis’
    283 
    -      ordinary object ‘positiveFibonaccis2_sat_@name_suffix@’:
    283 
    +      object ‘positiveFibonaccis2_sat_@name_suffix@’:
    284 284 
             arity: 0
    285 285 
             literals: label ‘_hpc_tickboxes_Example_hpc’
    286 286 
             used items:
    287 287 
               named item ‘$fNumNatural’
    288 
    -          named item ‘+’
    288 
    +          named item ‘(+)’
    289 289 
           named item ‘zipWith’
    290 
    -  ordinary object ‘fibonaccis’:
    290 
    +  object ‘fibonaccis’:
    291 291 
         arity: 0
    292 292 
         literals:
    293 293 
           label ‘_hpc_tickboxes_Example_hpc’
    294 294 
           label ‘_hpc_tickboxes_Example_hpc’
    295 
    -      info table of ‘:’
    295 
    +      info table of ‘(:)’
    296 296 
         used items:
    297 297 
           named item ‘fibonaccis2_@name_suffix@’
    298 298 
           named item ‘fibonaccis1_@name_suffix@’
    299 
    -  ordinary object ‘fibonaccis2_@name_suffix@’:
    299 
    +  object ‘fibonaccis2_@name_suffix@’:
    300 300 
         arity: 0
    301 301 
         literals: label ‘_hpc_tickboxes_Example_hpc’
    302 302 
         used items: named item ‘positiveFibonaccis1_@name_suffix@’
    303 
    -  ordinary object ‘positiveFibonaccis_@name_suffix@’:
    303 
    +  object ‘positiveFibonaccis_@name_suffix@’:
    304 304 
         arity: 0
    305 305 
         literals:
    306 306 
           label ‘_hpc_tickboxes_Example_hpc’
    ... ... @@ -309,7 +309,7 @@ objects:
    309 309 
         used items:
    310 310 
           named item ‘$fNumNatural’
    311 311 
           named item ‘fromInteger’
    312 
    -  ordinary object ‘fibonaccis1_@name_suffix@’:
    312 
    +  object ‘fibonaccis1_@name_suffix@’:
    313 313 
         arity: 0
    314 314 
         literals:
    315 315 
           label ‘_hpc_tickboxes_Example_hpc’
    ... ... @@ -318,27 +318,27 @@ objects:
    318 318 
         used items:
    319 319 
           named item ‘$fNumNatural’
    320 320 
           named item ‘fromInteger’
    321 
    -  ordinary object ‘$dTypeable2_@name_suffix@’:
    321 
    +  object ‘$dTypeable2_@name_suffix@’:
    322 322 
         arity: 0
    323 323 
         literals: <none>
    324 324 
         used items:
    325 325 
           named item ‘$dTypeable_@name_suffix@’
    326 326 
           named item ‘$dTypeable1_@name_suffix@’
    327 327 
           named item ‘mkTrAppChecked’
    328 
    -  ordinary object ‘$dTypeable1_@name_suffix@’:
    328 
    +  object ‘$dTypeable1_@name_suffix@’:
    329 329 
         arity: 0
    330 330 
         literals: info table of ‘[]’
    331 331 
         used items:
    332 332 
           named item ‘$tcList’
    333 333 
           named item ‘mkTrCon’
    334 
    -  ordinary object ‘$dTypeable_@name_suffix@’:
    334 
    +  object ‘$dTypeable_@name_suffix@’:
    335 335 
         arity: 0
    336 336 
         literals: info table of ‘[]’
    337 337 
         used items:
    338 338 
           named item ‘$tcNatural’
    339 339 
           named item ‘mkTrCon’
    340 340 
       static-construction object ‘$tc'Nested’:
    341 
    -    data constructor name: TyCon
    341 
    +    data constructor: TyCon
    342 342 
         lifted: yes
    343 343 
         literals:
    344 344 
           word @large_word@
    ... ... @@ -349,33 +349,33 @@ objects:
    349 349 
           named item ‘$tc'Nested2_@name_suffix@’
    350 350 
           named item ‘$krep17_@name_suffix@’
    351 351 
       static-construction object ‘$tc'Nested2_@name_suffix@’:
    352 
    -    data constructor name: TrNameS
    352 
    +    data constructor: TrNameS
    353 353 
         lifted: yes
    354 354 
         literals: address ‘$tc'Nested1_@name_suffix@’
    355 355 
         used items: <none>
    356 356 
       static-construction object ‘$krep17_@name_suffix@’:
    357 
    -    data constructor name: KindRepFun
    357 
    +    data constructor: KindRepFun
    358 358 
         lifted: yes
    359 359 
         literals: <none>
    360 360 
         used items:
    361 361 
           named item ‘$krep16_@name_suffix@’
    362 362 
           named item ‘$krep13_@name_suffix@’
    363 363 
       static-construction object ‘$krep16_@name_suffix@’:
    364 
    -    data constructor name: KindRepTyConApp
    364 
    +    data constructor: KindRepTyConApp
    365 365 
         lifted: yes
    366 366 
         literals: <none>
    367 367 
         used items:
    368 368 
           named item ‘$tcPerfectTree’
    369 369 
           named item ‘$krep15_@name_suffix@’
    370 370 
       static-construction object ‘$krep15_@name_suffix@’:
    371 
    -    data constructor name: :
    371 
    +    data constructor: (:)
    372 372 
         lifted: yes
    373 373 
         literals: <none>
    374 374 
         used items:
    375 375 
           named item ‘$krep4_@name_suffix@’
    376 376 
           named item ‘[]’
    377 377 
       static-construction object ‘$tc'PerfectTree’:
    378 
    -    data constructor name: TyCon
    378 
    +    data constructor: TyCon
    379 379 
         lifted: yes
    380 380 
         literals:
    381 381 
           word @large_word@
    ... ... @@ -386,33 +386,33 @@ objects:
    386 386 
           named item ‘$tc'PerfectTree2_@name_suffix@’
    387 387 
           named item ‘$krep14_@name_suffix@’
    388 388 
       static-construction object ‘$tc'PerfectTree2_@name_suffix@’:
    389 
    -    data constructor name: TrNameS
    389 
    +    data constructor: TrNameS
    390 390 
         lifted: yes
    391 391 
         literals: address ‘$tc'PerfectTree1_@name_suffix@’
    392 392 
         used items: <none>
    393 393 
       static-construction object ‘$krep14_@name_suffix@’:
    394 
    -    data constructor name: KindRepFun
    394 
    +    data constructor: KindRepFun
    395 395 
         lifted: yes
    396 396 
         literals: <none>
    397 397 
         used items:
    398 398 
           named item ‘$krep1_@name_suffix@’
    399 399 
           named item ‘$krep13_@name_suffix@’
    400 400 
       static-construction object ‘$krep13_@name_suffix@’:
    401 
    -    data constructor name: KindRepTyConApp
    401 
    +    data constructor: KindRepTyConApp
    402 402 
         lifted: yes
    403 403 
         literals: <none>
    404 404 
         used items:
    405 405 
           named item ‘$tcPerfectTree’
    406 406 
           named item ‘$krep12_@name_suffix@’
    407 407 
       static-construction object ‘$krep12_@name_suffix@’:
    408 
    -    data constructor name: :
    408 
    +    data constructor: (:)
    409 409 
         lifted: yes
    410 410 
         literals: <none>
    411 411 
         used items:
    412 412 
           named item ‘$krep1_@name_suffix@’
    413 413 
           named item ‘[]’
    414 414 
       static-construction object ‘$tcPerfectTree’:
    415 
    -    data constructor name: TyCon
    415 
    +    data constructor: TyCon
    416 416 
         lifted: yes
    417 417 
         literals:
    418 418 
           word @large_word@
    ... ... @@ -423,12 +423,12 @@ objects:
    423 423 
           named item ‘$tcPerfectTree2_@name_suffix@’
    424 424 
           named item ‘krep$*Arr*’
    425 425 
       static-construction object ‘$tcPerfectTree2_@name_suffix@’:
    426 
    -    data constructor name: TrNameS
    426 
    +    data constructor: TrNameS
    427 427 
         lifted: yes
    428 428 
         literals: address ‘$tcPerfectTree1_@name_suffix@’
    429 429 
         used items: <none>
    430 430 
       static-construction object ‘$tc'Node’:
    431 
    -    data constructor name: TyCon
    431 
    +    data constructor: TyCon
    432 432 
         lifted: yes
    433 433 
         literals:
    434 434 
           word @large_word@
    ... ... @@ -439,33 +439,33 @@ objects:
    439 439 
           named item ‘$tc'Node2_@name_suffix@’
    440 440 
           named item ‘$krep11_@name_suffix@’
    441 441 
       static-construction object ‘$tc'Node2_@name_suffix@’:
    442 
    -    data constructor name: TrNameS
    442 
    +    data constructor: TrNameS
    443 443 
         lifted: yes
    444 444 
         literals: address ‘$tc'Node1_@name_suffix@’
    445 445 
         used items: <none>
    446 446 
       static-construction object ‘$krep11_@name_suffix@’:
    447 
    -    data constructor name: KindRepFun
    447 
    +    data constructor: KindRepFun
    448 448 
         lifted: yes
    449 449 
         literals: <none>
    450 450 
         used items:
    451 451 
           named item ‘$krep7_@name_suffix@’
    452 452 
           named item ‘$krep10_@name_suffix@’
    453 453 
       static-construction object ‘$krep10_@name_suffix@’:
    454 
    -    data constructor name: KindRepFun
    454 
    +    data constructor: KindRepFun
    455 455 
         lifted: yes
    456 456 
         literals: <none>
    457 457 
         used items:
    458 458 
           named item ‘$krep_@name_suffix@’
    459 459 
           named item ‘$krep9_@name_suffix@’
    460 460 
       static-construction object ‘$krep9_@name_suffix@’:
    461 
    -    data constructor name: KindRepFun
    461 
    +    data constructor: KindRepFun
    462 462 
         lifted: yes
    463 463 
         literals: <none>
    464 464 
         used items:
    465 465 
           named item ‘$krep7_@name_suffix@’
    466 466 
           named item ‘$krep7_@name_suffix@’
    467 467 
       static-construction object ‘$tc'Leaf’:
    468 
    -    data constructor name: TyCon
    468 
    +    data constructor: TyCon
    469 469 
         lifted: yes
    470 470 
         literals:
    471 471 
           word @large_word@
    ... ... @@ -476,40 +476,40 @@ objects:
    476 476 
           named item ‘$tc'Leaf2_@name_suffix@’
    477 477 
           named item ‘$krep8_@name_suffix@’
    478 478 
       static-construction object ‘$tc'Leaf2_@name_suffix@’:
    479 
    -    data constructor name: TrNameS
    479 
    +    data constructor: TrNameS
    480 480 
         lifted: yes
    481 481 
         literals: address ‘$tc'Leaf1_@name_suffix@’
    482 482 
         used items: <none>
    483 483 
       static-construction object ‘$krep8_@name_suffix@’:
    484 
    -    data constructor name: KindRepFun
    484 
    +    data constructor: KindRepFun
    485 485 
         lifted: yes
    486 486 
         literals: <none>
    487 487 
         used items:
    488 488 
           named item ‘$krep1_@name_suffix@’
    489 489 
           named item ‘$krep7_@name_suffix@’
    490 490 
       static-construction object ‘$krep7_@name_suffix@’:
    491 
    -    data constructor name: KindRepTyConApp
    491 
    +    data constructor: KindRepTyConApp
    492 492 
         lifted: yes
    493 493 
         literals: <none>
    494 494 
         used items:
    495 495 
           named item ‘$tcBinTree’
    496 496 
           named item ‘$krep6_@name_suffix@’
    497 497 
       static-construction object ‘$krep6_@name_suffix@’:
    498 
    -    data constructor name: :
    498 
    +    data constructor: (:)
    499 499 
         lifted: yes
    500 500 
         literals: <none>
    501 501 
         used items:
    502 502 
           named item ‘$krep1_@name_suffix@’
    503 503 
           named item ‘$krep5_@name_suffix@’
    504 504 
       static-construction object ‘$krep5_@name_suffix@’:
    505 
    -    data constructor name: :
    505 
    +    data constructor: (:)
    506 506 
         lifted: yes
    507 507 
         literals: <none>
    508 508 
         used items:
    509 509 
           named item ‘$krep_@name_suffix@’
    510 510 
           named item ‘[]’
    511 511 
       static-construction object ‘$tcBinTree’:
    512 
    -    data constructor name: TyCon
    512 
    +    data constructor: TyCon
    513 513 
         lifted: yes
    514 514 
         literals:
    515 515 
           word @large_word@
    ... ... @@ -520,117 +520,117 @@ objects:
    520 520 
           named item ‘$tcBinTree2_@name_suffix@’
    521 521 
           named item ‘krep$*->*->*’
    522 522 
       static-construction object ‘$tcBinTree2_@name_suffix@’:
    523 
    -    data constructor name: TrNameS
    523 
    +    data constructor: TrNameS
    524 524 
         lifted: yes
    525 525 
         literals: address ‘$tcBinTree1_@name_suffix@’
    526 526 
         used items: <none>
    527 527 
       static-construction object ‘$krep4_@name_suffix@’:
    528 
    -    data constructor name: KindRepTyConApp
    528 
    +    data constructor: KindRepTyConApp
    529 529 
         lifted: yes
    530 530 
         literals: <none>
    531 531 
         used items:
    532 532 
           named item ‘$tcTuple2’
    533 533 
           named item ‘$krep3_@name_suffix@’
    534 534 
       static-construction object ‘$krep3_@name_suffix@’:
    535 
    -    data constructor name: :
    535 
    +    data constructor: (:)
    536 536 
         lifted: yes
    537 537 
         literals: <none>
    538 538 
         used items:
    539 539 
           named item ‘$krep1_@name_suffix@’
    540 540 
           named item ‘$krep2_@name_suffix@’
    541 541 
       static-construction object ‘$krep2_@name_suffix@’:
    542 
    -    data constructor name: :
    542 
    +    data constructor: (:)
    543 543 
         lifted: yes
    544 544 
         literals: <none>
    545 545 
         used items:
    546 546 
           named item ‘$krep1_@name_suffix@’
    547 547 
           named item ‘[]’
    548 548 
       static-construction object ‘$krep1_@name_suffix@’:
    549 
    -    data constructor name: KindRepVar
    549 
    +    data constructor: KindRepVar
    550 550 
         lifted: yes
    551 551 
         literals: word 0
    552 552 
         used items: <none>
    553 553 
       static-construction object ‘$krep_@name_suffix@’:
    554 
    -    data constructor name: KindRepVar
    554 
    +    data constructor: KindRepVar
    555 555 
         lifted: yes
    556 556 
         literals: word 1
    557 557 
         used items: <none>
    558 558 
       static-construction object ‘$trModule’:
    559 
    -    data constructor name: Module
    559 
    +    data constructor: Module
    560 560 
         lifted: yes
    561 561 
         literals: <none>
    562 562 
         used items:
    563 563 
           named item ‘$trModule2_@name_suffix@’
    564 564 
           named item ‘$trModule4_@name_suffix@’
    565 565 
       static-construction object ‘$trModule4_@name_suffix@’:
    566 
    -    data constructor name: TrNameS
    566 
    +    data constructor: TrNameS
    567 567 
         lifted: yes
    568 568 
         literals: address ‘$trModule3_@name_suffix@’
    569 569 
         used items: <none>
    570 570 
       static-construction object ‘$trModule2_@name_suffix@’:
    571 
    -    data constructor name: TrNameS
    571 
    +    data constructor: TrNameS
    572 572 
         lifted: yes
    573 573 
         literals: address ‘$trModule1_@name_suffix@’
    574 574 
         used items: <none>
    575 
    -  ordinary object ‘divides’:
    575 
    +  object ‘divides’:
    576 576 
         arity: 3
    577 577 
         literals: <none>
    578 578 
         used items:
    579 
    -      ordinary object ‘$dReal_@name_suffix@’:
    579 
    +      object ‘$dReal_@name_suffix@’:
    580 580 
             arity: 0
    581 581 
             literals:
    582 582 
               label ‘_hpc_tickboxes_Example_hpc’
    583 583 
               label ‘_hpc_tickboxes_Example_hpc’
    584 584 
             used items:
    585 
    -          ordinary object ‘divides_sat_@name_suffix@’:
    585 
    +          object ‘divides_sat_@name_suffix@’:
    586 586 
                 arity: 1
    587 587 
                 literals:
    588 588 
                   label ‘_hpc_tickboxes_Example_hpc’
    589 589 
                   word 0
    590 590 
                   info table of ‘IS’
    591 591 
                 used items:
    592 
    -              ordinary object ‘divides_sat_@name_suffix@’:
    592 
    +              object ‘divides_sat_@name_suffix@’:
    593 593 
                     arity: 0
    594 594 
                     literals: <none>
    595 595 
                     used items: named item ‘fromInteger’
    596 596 
                   named item ‘$p1Real’
    597 
    -          ordinary object ‘divides_sat_@name_suffix@’:
    597 
    +          object ‘divides_sat_@name_suffix@’:
    598 598 
                 arity: 3
    599 599 
                 literals: label ‘_hpc_tickboxes_Example_hpc’
    600 600 
                 used items:
    601 
    -              ordinary object ‘divides_sat_@name_suffix@’:
    601 
    +              object ‘divides_sat_@name_suffix@’:
    602 602 
                     arity: 1
    603 603 
                     literals: label ‘_hpc_tickboxes_Example_hpc’
    604 604 
                     used items: <none>
    605 
    -              ordinary object ‘divides_sat_@name_suffix@’:
    605 
    +              object ‘divides_sat_@name_suffix@’:
    606 606 
                     arity: 1
    607 607 
                     literals: label ‘_hpc_tickboxes_Example_hpc’
    608 608 
                     used items: <none>
    609 609 
                   named item ‘mod’
    610 
    -          ordinary object ‘divides_sat_@name_suffix@’:
    610 
    +          object ‘divides_sat_@name_suffix@’:
    611 611 
                 arity: 0
    612 612 
                 literals: <none>
    613 613 
                 used items:
    614 
    -              ordinary object ‘divides_sat_@name_suffix@’:
    614 
    +              object ‘divides_sat_@name_suffix@’:
    615 615 
                     arity: 0
    616 616 
                     literals: <none>
    617 
    -                used items: named item ‘==’
    617 
    +                used items: named item ‘(==)’
    618 618 
                   named item ‘$p1Ord’
    619 619 
               named item ‘$p2Real’
    620 620 
           named item ‘$p1Integral’
    621 
    -  ordinary object ‘Node’:
    621 
    +  object ‘Node’:
    622 622 
         arity: 3
    623 623 
         literals: info table of ‘Node’
    624 624 
         used items: <none>
    625 
    -  ordinary object ‘Leaf’:
    625 
    +  object ‘Leaf’:
    626 626 
         arity: 1
    627 627 
         literals: info table of ‘Leaf’
    628 628 
         used items: <none>
    629 
    -  ordinary object ‘Nested’:
    629 
    +  object ‘Nested’:
    630 630 
         arity: 1
    631 631 
         literals: info table of ‘Nested’
    632 632 
         used items: <none>
    633 
    -  ordinary object ‘PerfectTree’:
    633 
    +  object ‘PerfectTree’:
    634 634 
         arity: 1
    635 635 
         literals: info table of ‘PerfectTree’
    636 636 
         used items: <none>
    ... ... @@ -662,7 +662,6 @@ static-pointer table entries:
    662 662 
       @hash@: static_ptr1
    663 663 
     HPC information:
    664 664 
       hash: @hash@
    665 
    -  module name: Example
    666 
    -  tick box name: _hpc_tickboxes_Example_hpc
    665 
    +  tick box: _hpc_tickboxes_Example_hpc
    667 666 
       number of ticks: 45
    668 667

  • testsuite/tests/show-bytecode/show-bytecode-vanilla.stdout
    1 1 
     [1 of 1] Compiling Example          ( Example.hs, Example.gbc )
    2 
    -name: Example
    2 
    +module: Example
    3 3 
     hash: @hash@
    4 4 
     objects:
    5 
    -  ordinary object ‘primesPtr’:
    5 
    +  object ‘primesPtr’:
    6 6 
         arity: 0
    7 7 
         literals: <none>
    8 8 
         used items:
    ... ... @@ -10,7 +10,7 @@ objects:
    10 10 
           named item ‘$dTypeable2_@name_suffix@’
    11 11 
           named item ‘$fIsStaticStaticPtr’
    12 12 
       static-construction object ‘static_ptr1’:
    13 
    -    data constructor name: StaticPtr
    13 
    +    data constructor: StaticPtr
    14 14 
         lifted: yes
    15 15 
         literals:
    16 16 
           word @large_word@
    ... ... @@ -19,96 +19,96 @@ objects:
    19 19 
           named item ‘static_ptr1_sat_@name_suffix@’
    20 20 
           named item ‘primes’
    21 21 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    22 
    -    data constructor name: StaticPtrInfo
    22 
    +    data constructor: StaticPtrInfo
    23 23 
         lifted: yes
    24 24 
         literals: <none>
    25 25 
         used items:
    26 26 
           named item ‘static_ptr1_sat_@name_suffix@’
    27 27 
           named item ‘static_ptr1_sat_@name_suffix@’
    28 28 
           named item ‘static_ptr1_sat_@name_suffix@’
    29 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    29 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    30 30 
         arity: 0
    31 31 
         literals: top-level string "main"
    32 32 
         used items:
    33 
    -      ordinary object ‘static_ptr1_sat_@name_suffix@’:
    33 
    +      object ‘static_ptr1_sat_@name_suffix@’:
    34 34 
             arity: 0
    35 35 
             literals: <none>
    36 36 
             used items: named item ‘unpackCString#’
    37 
    -  ordinary object ‘static_ptr1_sat_@name_suffix@’:
    37 
    +  object ‘static_ptr1_sat_@name_suffix@’:
    38 38 
         arity: 0
    39 39 
         literals: top-level string "Example"
    40 40 
         used items:
    41 
    -      ordinary object ‘static_ptr1_sat_@name_suffix@’:
    41 
    +      object ‘static_ptr1_sat_@name_suffix@’:
    42 42 
             arity: 0
    43 43 
             literals: <none>
    44 44 
             used items: named item ‘unpackCString#’
    45 45 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    46 
    -    data constructor name: (,)
    46 
    +    data constructor: (,)
    47 47 
         lifted: yes
    48 48 
         literals: <none>
    49 49 
         used items:
    50 50 
           named item ‘static_ptr1_sat_@name_suffix@’
    51 51 
           named item ‘static_ptr1_sat_@name_suffix@’
    52 52 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    53 
    -    data constructor name: I#
    53 
    +    data constructor: I#
    54 54 
         lifted: yes
    55 55 
         literals: word 27
    56 56 
         used items: <none>
    57 57 
       static-construction object ‘static_ptr1_sat_@name_suffix@’:
    58 
    -    data constructor name: I#
    58 
    +    data constructor: I#
    59 59 
         lifted: yes
    60 60 
         literals: word 20
    61 61 
         used items: <none>
    62 
    -  ordinary object ‘primes2_@name_suffix@’:
    62 
    +  object ‘primes2_@name_suffix@’:
    63 63 
         arity: 0
    64 64 
         literals: <none>
    65 65 
         used items:
    66 66 
           named item ‘primes2_sat_@name_suffix@’
    67 67 
           named item ‘isPrime_@name_suffix@’
    68 68 
           named item ‘filter’
    69 
    -  ordinary object ‘isPrime_@name_suffix@’:
    69 
    +  object ‘isPrime_@name_suffix@’:
    70 70 
         arity: 1
    71 71 
         literals: <none>
    72 72 
         used items:
    73 
    -      ordinary object ‘isPrime_sat_@name_suffix@’:
    73 
    +      object ‘isPrime_sat_@name_suffix@’:
    74 74 
             arity: 1
    75 75 
             literals: <none>
    76 76 
             used items:
    77 
    -          ordinary object ‘isPrime_sat_@name_suffix@’:
    77 
    +          object ‘isPrime_sat_@name_suffix@’:
    78 78 
                 arity: 1
    79 79 
                 literals: <none>
    80 80 
                 used items:
    81 
    -              ordinary object ‘isPrime_sat_@name_suffix@’:
    81 
    +              object ‘isPrime_sat_@name_suffix@’:
    82 82 
                     arity: 1
    83 83 
                     literals:
    84 84 
                       word 2
    85 85 
                       info table of ‘IS’
    86 86 
                     used items:
    87 
    -                  ordinary object ‘v_@name_suffix@’:
    87 
    +                  object ‘v_@name_suffix@’:
    88 88 
                         arity: 0
    89 89 
                         literals: <none>
    90 90 
                         used items:
    91 91 
                           named item ‘$fIntegralInteger’
    92 92 
                           named item ‘$fNumNatural’
    93 
    -                      named item ‘^’
    94 
    -                  ordinary object ‘isPrime_sat_@name_suffix@’:
    93 
    +                      named item ‘(^)’
    94 
    +                  object ‘isPrime_sat_@name_suffix@’:
    95 95 
                         arity: 3
    96 96 
                         literals: <none>
    97 97 
                         used items: <none>
    98 
    -                  ordinary object ‘v_@name_suffix@’:
    98 
    +                  object ‘v_@name_suffix@’:
    99 99 
                         arity: 0
    100 100 
                         literals: <none>
    101 101 
                         used items:
    102 102 
                           named item ‘$fOrdNatural’
    103 
    -                      named item ‘<=’
    104 
    -                  ordinary object ‘isPrime_sat_@name_suffix@’:
    103 
    +                      named item ‘(<=)’
    104 
    +                  object ‘isPrime_sat_@name_suffix@’:
    105 105 
                         arity: 3
    106 106 
                         literals: <none>
    107 107 
                         used items: <none>
    108 
    -                  named item ‘.’
    108 
    +                  named item ‘(.)’
    109 109 
                   named item ‘primes’
    110 110 
                   named item ‘takeWhile’
    111 
    -          ordinary object ‘isPrime_sat_@name_suffix@’:
    111 
    +          object ‘isPrime_sat_@name_suffix@’:
    112 112 
                 arity: 2
    113 113 
                 literals: <none>
    114 114 
                 used items:
    ... ... @@ -118,17 +118,17 @@ objects:
    118 118 
               named item ‘any’
    119 119 
           named item ‘not’
    120 120 
       static-construction object ‘primes’:
    121 
    -    data constructor name: :
    121 
    +    data constructor: (:)
    122 122 
         lifted: yes
    123 123 
         literals: <none>
    124 124 
         used items:
    125 125 
           named item ‘primes1_@name_suffix@’
    126 126 
           named item ‘primes2_@name_suffix@’
    127 
    -  ordinary object ‘primes2_sat_@name_suffix@’:
    127 
    +  object ‘primes2_sat_@name_suffix@’:
    128 128 
         arity: 0
    129 129 
         literals: <none>
    130 130 
         used items:
    131 
    -      ordinary object ‘primes2_sat_@name_suffix@’:
    131 
    +      object ‘primes2_sat_@name_suffix@’:
    132 132 
             arity: 0
    133 133 
             literals:
    134 134 
               word 3
    ... ... @@ -138,7 +138,7 @@ objects:
    138 138 
               named item ‘fromInteger’
    139 139 
           named item ‘$fEnumNatural’
    140 140 
           named item ‘enumFrom’
    141 
    -  ordinary object ‘primes1_@name_suffix@’:
    141 
    +  object ‘primes1_@name_suffix@’:
    142 142 
         arity: 0
    143 143 
         literals: <none>
    144 144 
         used items:
    ... ... @@ -146,11 +146,11 @@ objects:
    146 146 
           named item ‘$fNumNatural’
    147 147 
           named item ‘fromInteger’
    148 148 
       static-construction object ‘primes1_sat_@name_suffix@’:
    149 
    -    data constructor name: IS
    149 
    +    data constructor: IS
    150 150 
         lifted: yes
    151 151 
         literals: word 2
    152 152 
         used items: <none>
    153 
    -  ordinary object ‘fibonaccisPtr’:
    153 
    +  object ‘fibonaccisPtr’:
    154 154 
         arity: 0
    155 155 
         literals: <none>
    156 156 
         used items:
    ... ... @@ -158,7 +158,7 @@ objects:
    158 158 
           named item ‘$dTypeable2_@name_suffix@’
    159 159 
           named item ‘$fIsStaticStaticPtr’
    160 160 
       static-construction object ‘static_ptr’:
    161 
    -    data constructor name: StaticPtr
    161 
    +    data constructor: StaticPtr
    162 162 
         lifted: yes
    163 163 
         literals:
    164 164 
           word @large_word@
    ... ... @@ -167,47 +167,47 @@ objects:
    167 167 
           named item ‘static_ptr_sat_@name_suffix@’
    168 168 
           named item ‘fibonaccis’
    169 169 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    170 
    -    data constructor name: StaticPtrInfo
    170 
    +    data constructor: StaticPtrInfo
    171 171 
         lifted: yes
    172 172 
         literals: <none>
    173 173 
         used items:
    174 174 
           named item ‘static_ptr_sat_@name_suffix@’
    175 175 
           named item ‘static_ptr_sat_@name_suffix@’
    176 176 
           named item ‘static_ptr_sat_@name_suffix@’
    177 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    177 
    +  object ‘static_ptr_sat_@name_suffix@’:
    178 178 
         arity: 0
    179 179 
         literals: top-level string "main"
    180 180 
         used items:
    181 
    -      ordinary object ‘static_ptr_sat_@name_suffix@’:
    181 
    +      object ‘static_ptr_sat_@name_suffix@’:
    182 182 
             arity: 0
    183 183 
             literals: <none>
    184 184 
             used items: named item ‘unpackCString#’
    185 
    -  ordinary object ‘static_ptr_sat_@name_suffix@’:
    185 
    +  object ‘static_ptr_sat_@name_suffix@’:
    186 186 
         arity: 0
    187 187 
         literals: top-level string "Example"
    188 188 
         used items:
    189 
    -      ordinary object ‘static_ptr_sat_@name_suffix@’:
    189 
    +      object ‘static_ptr_sat_@name_suffix@’:
    190 190 
             arity: 0
    191 191 
             literals: <none>
    192 192 
             used items: named item ‘unpackCString#’
    193 193 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    194 
    -    data constructor name: (,)
    194 
    +    data constructor: (,)
    195 195 
         lifted: yes
    196 196 
         literals: <none>
    197 197 
         used items:
    198 198 
           named item ‘static_ptr_sat_@name_suffix@’
    199 199 
           named item ‘static_ptr_sat_@name_suffix@’
    200 200 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    201 
    -    data constructor name: I#
    201 
    +    data constructor: I#
    202 202 
         lifted: yes
    203 203 
         literals: word 15
    204 204 
         used items: <none>
    205 205 
       static-construction object ‘static_ptr_sat_@name_suffix@’:
    206 
    -    data constructor name: I#
    206 
    +    data constructor: I#
    207 207 
         lifted: yes
    208 208 
         literals: word 24
    209 209 
         used items: <none>
    210 
    -  ordinary object ‘positiveFibonaccis2_@name_suffix@’:
    210 
    +  object ‘positiveFibonaccis2_@name_suffix@’:
    211 211 
         arity: 0
    212 212 
         literals: <none>
    213 213 
         used items:
    ... ... @@ -216,26 +216,26 @@ objects:
    216 216 
           named item ‘positiveFibonaccis2_sat_@name_suffix@’
    217 217 
           named item ‘zipWith’
    218 218 
       static-construction object ‘positiveFibonaccis1_@name_suffix@’:
    219 
    -    data constructor name: :
    219 
    +    data constructor: (:)
    220 220 
         lifted: yes
    221 221 
         literals: <none>
    222 222 
         used items:
    223 223 
           named item ‘positiveFibonaccis_@name_suffix@’
    224 224 
           named item ‘positiveFibonaccis2_@name_suffix@’
    225 225 
       static-construction object ‘fibonaccis’:
    226 
    -    data constructor name: :
    226 
    +    data constructor: (:)
    227 227 
         lifted: yes
    228 228 
         literals: <none>
    229 229 
         used items:
    230 230 
           named item ‘fibonaccis1_@name_suffix@’
    231 231 
           named item ‘positiveFibonaccis1_@name_suffix@’
    232 
    -  ordinary object ‘positiveFibonaccis2_sat_@name_suffix@’:
    232 
    +  object ‘positiveFibonaccis2_sat_@name_suffix@’:
    233 233 
         arity: 0
    234 234 
         literals: <none>
    235 235 
         used items:
    236 236 
           named item ‘$fNumNatural’
    237 
    -      named item ‘+’
    238 
    -  ordinary object ‘positiveFibonaccis_@name_suffix@’:
    237 
    +      named item ‘(+)’
    238 
    +  object ‘positiveFibonaccis_@name_suffix@’:
    239 239 
         arity: 0
    240 240 
         literals: <none>
    241 241 
         used items:
    ... ... @@ -243,11 +243,11 @@ objects:
    243 243 
           named item ‘$fNumNatural’
    244 244 
           named item ‘fromInteger’
    245 245 
       static-construction object ‘positiveFibonaccis_sat_@name_suffix@’:
    246 
    -    data constructor name: IS
    246 
    +    data constructor: IS
    247 247 
         lifted: yes
    248 248 
         literals: word 1
    249 249 
         used items: <none>
    250 
    -  ordinary object ‘fibonaccis1_@name_suffix@’:
    250 
    +  object ‘fibonaccis1_@name_suffix@’:
    251 251 
         arity: 0
    252 252 
         literals: <none>
    253 253 
         used items:
    ... ... @@ -255,31 +255,31 @@ objects:
    255 255 
           named item ‘$fNumNatural’
    256 256 
           named item ‘fromInteger’
    257 257 
       static-construction object ‘fibonaccis1_sat_@name_suffix@’:
    258 
    -    data constructor name: IS
    258 
    +    data constructor: IS
    259 259 
         lifted: yes
    260 260 
         literals: word 0
    261 261 
         used items: <none>
    262 
    -  ordinary object ‘$dTypeable2_@name_suffix@’:
    262 
    +  object ‘$dTypeable2_@name_suffix@’:
    263 263 
         arity: 0
    264 264 
         literals: <none>
    265 265 
         used items:
    266 266 
           named item ‘$dTypeable_@name_suffix@’
    267 267 
           named item ‘$dTypeable1_@name_suffix@’
    268 268 
           named item ‘mkTrAppChecked’
    269 
    -  ordinary object ‘$dTypeable1_@name_suffix@’:
    269 
    +  object ‘$dTypeable1_@name_suffix@’:
    270 270 
         arity: 0
    271 271 
         literals: info table of ‘[]’
    272 272 
         used items:
    273 273 
           named item ‘$tcList’
    274 274 
           named item ‘mkTrCon’
    275 
    -  ordinary object ‘$dTypeable_@name_suffix@’:
    275 
    +  object ‘$dTypeable_@name_suffix@’:
    276 276 
         arity: 0
    277 277 
         literals: info table of ‘[]’
    278 278 
         used items:
    279 279 
           named item ‘$tcNatural’
    280 280 
           named item ‘mkTrCon’
    281 281 
       static-construction object ‘$tc'Nested’:
    282 
    -    data constructor name: TyCon
    282 
    +    data constructor: TyCon
    283 283 
         lifted: yes
    284 284 
         literals:
    285 285 
           word @large_word@
    ... ... @@ -290,33 +290,33 @@ objects:
    290 290 
           named item ‘$tc'Nested2_@name_suffix@’
    291 291 
           named item ‘$krep17_@name_suffix@’
    292 292 
       static-construction object ‘$tc'Nested2_@name_suffix@’:
    293 
    -    data constructor name: TrNameS
    293 
    +    data constructor: TrNameS
    294 294 
         lifted: yes
    295 295 
         literals: address ‘$tc'Nested1_@name_suffix@’
    296 296 
         used items: <none>
    297 297 
       static-construction object ‘$krep17_@name_suffix@’:
    298 
    -    data constructor name: KindRepFun
    298 
    +    data constructor: KindRepFun
    299 299 
         lifted: yes
    300 300 
         literals: <none>
    301 301 
         used items:
    302 302 
           named item ‘$krep16_@name_suffix@’
    303 303 
           named item ‘$krep13_@name_suffix@’
    304 304 
       static-construction object ‘$krep16_@name_suffix@’:
    305 
    -    data constructor name: KindRepTyConApp
    305 
    +    data constructor: KindRepTyConApp
    306 306 
         lifted: yes
    307 307 
         literals: <none>
    308 308 
         used items:
    309 309 
           named item ‘$tcPerfectTree’
    310 310 
           named item ‘$krep15_@name_suffix@’
    311 311 
       static-construction object ‘$krep15_@name_suffix@’:
    312 
    -    data constructor name: :
    312 
    +    data constructor: (:)
    313 313 
         lifted: yes
    314 314 
         literals: <none>
    315 315 
         used items:
    316 316 
           named item ‘$krep4_@name_suffix@’
    317 317 
           named item ‘[]’
    318 318 
       static-construction object ‘$tc'PerfectTree’:
    319 
    -    data constructor name: TyCon
    319 
    +    data constructor: TyCon
    320 320 
         lifted: yes
    321 321 
         literals:
    322 322 
           word @large_word@
    ... ... @@ -327,33 +327,33 @@ objects:
    327 327 
           named item ‘$tc'PerfectTree2_@name_suffix@’
    328 328 
           named item ‘$krep14_@name_suffix@’
    329 329 
       static-construction object ‘$tc'PerfectTree2_@name_suffix@’:
    330 
    -    data constructor name: TrNameS
    330 
    +    data constructor: TrNameS
    331 331 
         lifted: yes
    332 332 
         literals: address ‘$tc'PerfectTree1_@name_suffix@’
    333 333 
         used items: <none>
    334 334 
       static-construction object ‘$krep14_@name_suffix@’:
    335 
    -    data constructor name: KindRepFun
    335 
    +    data constructor: KindRepFun
    336 336 
         lifted: yes
    337 337 
         literals: <none>
    338 338 
         used items:
    339 339 
           named item ‘$krep1_@name_suffix@’
    340 340 
           named item ‘$krep13_@name_suffix@’
    341 341 
       static-construction object ‘$krep13_@name_suffix@’:
    342 
    -    data constructor name: KindRepTyConApp
    342 
    +    data constructor: KindRepTyConApp
    343 343 
         lifted: yes
    344 344 
         literals: <none>
    345 345 
         used items:
    346 346 
           named item ‘$tcPerfectTree’
    347 347 
           named item ‘$krep12_@name_suffix@’
    348 348 
       static-construction object ‘$krep12_@name_suffix@’:
    349 
    -    data constructor name: :
    349 
    +    data constructor: (:)
    350 350 
         lifted: yes
    351 351 
         literals: <none>
    352 352 
         used items:
    353 353 
           named item ‘$krep1_@name_suffix@’
    354 354 
           named item ‘[]’
    355 355 
       static-construction object ‘$tcPerfectTree’:
    356 
    -    data constructor name: TyCon
    356 
    +    data constructor: TyCon
    357 357 
         lifted: yes
    358 358 
         literals:
    359 359 
           word @large_word@
    ... ... @@ -364,12 +364,12 @@ objects:
    364 364 
           named item ‘$tcPerfectTree2_@name_suffix@’
    365 365 
           named item ‘krep$*Arr*’
    366 366 
       static-construction object ‘$tcPerfectTree2_@name_suffix@’:
    367 
    -    data constructor name: TrNameS
    367 
    +    data constructor: TrNameS
    368 368 
         lifted: yes
    369 369 
         literals: address ‘$tcPerfectTree1_@name_suffix@’
    370 370 
         used items: <none>
    371 371 
       static-construction object ‘$tc'Node’:
    372 
    -    data constructor name: TyCon
    372 
    +    data constructor: TyCon
    373 373 
         lifted: yes
    374 374 
         literals:
    375 375 
           word @large_word@
    ... ... @@ -380,33 +380,33 @@ objects:
    380 380 
           named item ‘$tc'Node2_@name_suffix@’
    381 381 
           named item ‘$krep11_@name_suffix@’
    382 382 
       static-construction object ‘$tc'Node2_@name_suffix@’:
    383 
    -    data constructor name: TrNameS
    383 
    +    data constructor: TrNameS
    384 384 
         lifted: yes
    385 385 
         literals: address ‘$tc'Node1_@name_suffix@’
    386 386 
         used items: <none>
    387 387 
       static-construction object ‘$krep11_@name_suffix@’:
    388 
    -    data constructor name: KindRepFun
    388 
    +    data constructor: KindRepFun
    389 389 
         lifted: yes
    390 390 
         literals: <none>
    391 391 
         used items:
    392 392 
           named item ‘$krep7_@name_suffix@’
    393 393 
           named item ‘$krep10_@name_suffix@’
    394 394 
       static-construction object ‘$krep10_@name_suffix@’:
    395 
    -    data constructor name: KindRepFun
    395 
    +    data constructor: KindRepFun
    396 396 
         lifted: yes
    397 397 
         literals: <none>
    398 398 
         used items:
    399 399 
           named item ‘$krep_@name_suffix@’
    400 400 
           named item ‘$krep9_@name_suffix@’
    401 401 
       static-construction object ‘$krep9_@name_suffix@’:
    402 
    -    data constructor name: KindRepFun
    402 
    +    data constructor: KindRepFun
    403 403 
         lifted: yes
    404 404 
         literals: <none>
    405 405 
         used items:
    406 406 
           named item ‘$krep7_@name_suffix@’
    407 407 
           named item ‘$krep7_@name_suffix@’
    408 408 
       static-construction object ‘$tc'Leaf’:
    409 
    -    data constructor name: TyCon
    409 
    +    data constructor: TyCon
    410 410 
         lifted: yes
    411 411 
         literals:
    412 412 
           word @large_word@
    ... ... @@ -417,40 +417,40 @@ objects:
    417 417 
           named item ‘$tc'Leaf2_@name_suffix@’
    418 418 
           named item ‘$krep8_@name_suffix@’
    419 419 
       static-construction object ‘$tc'Leaf2_@name_suffix@’:
    420 
    -    data constructor name: TrNameS
    420 
    +    data constructor: TrNameS
    421 421 
         lifted: yes
    422 422 
         literals: address ‘$tc'Leaf1_@name_suffix@’
    423 423 
         used items: <none>
    424 424 
       static-construction object ‘$krep8_@name_suffix@’:
    425 
    -    data constructor name: KindRepFun
    425 
    +    data constructor: KindRepFun
    426 426 
         lifted: yes
    427 427 
         literals: <none>
    428 428 
         used items:
    429 429 
           named item ‘$krep1_@name_suffix@’
    430 430 
           named item ‘$krep7_@name_suffix@’
    431 431 
       static-construction object ‘$krep7_@name_suffix@’:
    432 
    -    data constructor name: KindRepTyConApp
    432 
    +    data constructor: KindRepTyConApp
    433 433 
         lifted: yes
    434 434 
         literals: <none>
    435 435 
         used items:
    436 436 
           named item ‘$tcBinTree’
    437 437 
           named item ‘$krep6_@name_suffix@’
    438 438 
       static-construction object ‘$krep6_@name_suffix@’:
    439 
    -    data constructor name: :
    439 
    +    data constructor: (:)
    440 440 
         lifted: yes
    441 441 
         literals: <none>
    442 442 
         used items:
    443 443 
           named item ‘$krep1_@name_suffix@’
    444 444 
           named item ‘$krep5_@name_suffix@’
    445 445 
       static-construction object ‘$krep5_@name_suffix@’:
    446 
    -    data constructor name: :
    446 
    +    data constructor: (:)
    447 447 
         lifted: yes
    448 448 
         literals: <none>
    449 449 
         used items:
    450 450 
           named item ‘$krep_@name_suffix@’
    451 451 
           named item ‘[]’
    452 452 
       static-construction object ‘$tcBinTree’:
    453 
    -    data constructor name: TyCon
    453 
    +    data constructor: TyCon
    454 454 
         lifted: yes
    455 455 
         literals:
    456 456 
           word @large_word@
    ... ... @@ -461,105 +461,105 @@ objects:
    461 461 
           named item ‘$tcBinTree2_@name_suffix@’
    462 462 
           named item ‘krep$*->*->*’
    463 463 
       static-construction object ‘$tcBinTree2_@name_suffix@’:
    464 
    -    data constructor name: TrNameS
    464 
    +    data constructor: TrNameS
    465 465 
         lifted: yes
    466 466 
         literals: address ‘$tcBinTree1_@name_suffix@’
    467 467 
         used items: <none>
    468 468 
       static-construction object ‘$krep4_@name_suffix@’:
    469 
    -    data constructor name: KindRepTyConApp
    469 
    +    data constructor: KindRepTyConApp
    470 470 
         lifted: yes
    471 471 
         literals: <none>
    472 472 
         used items:
    473 473 
           named item ‘$tcTuple2’
    474 474 
           named item ‘$krep3_@name_suffix@’
    475 475 
       static-construction object ‘$krep3_@name_suffix@’:
    476 
    -    data constructor name: :
    476 
    +    data constructor: (:)
    477 477 
         lifted: yes
    478 478 
         literals: <none>
    479 479 
         used items:
    480 480 
           named item ‘$krep1_@name_suffix@’
    481 481 
           named item ‘$krep2_@name_suffix@’
    482 482 
       static-construction object ‘$krep2_@name_suffix@’:
    483 
    -    data constructor name: :
    483 
    +    data constructor: (:)
    484 484 
         lifted: yes
    485 485 
         literals: <none>
    486 486 
         used items:
    487 487 
           named item ‘$krep1_@name_suffix@’
    488 488 
           named item ‘[]’
    489 489 
       static-construction object ‘$krep1_@name_suffix@’:
    490 
    -    data constructor name: KindRepVar
    490 
    +    data constructor: KindRepVar
    491 491 
         lifted: yes
    492 492 
         literals: word 0
    493 493 
         used items: <none>
    494 494 
       static-construction object ‘$krep_@name_suffix@’:
    495 
    -    data constructor name: KindRepVar
    495 
    +    data constructor: KindRepVar
    496 496 
         lifted: yes
    497 497 
         literals: word 1
    498 498 
         used items: <none>
    499 499 
       static-construction object ‘$trModule’:
    500 
    -    data constructor name: Module
    500 
    +    data constructor: Module
    501 501 
         lifted: yes
    502 502 
         literals: <none>
    503 503 
         used items:
    504 504 
           named item ‘$trModule2_@name_suffix@’
    505 505 
           named item ‘$trModule4_@name_suffix@’
    506 506 
       static-construction object ‘$trModule4_@name_suffix@’:
    507 
    -    data constructor name: TrNameS
    507 
    +    data constructor: TrNameS
    508 508 
         lifted: yes
    509 509 
         literals: address ‘$trModule3_@name_suffix@’
    510 510 
         used items: <none>
    511 511 
       static-construction object ‘$trModule2_@name_suffix@’:
    512 
    -    data constructor name: TrNameS
    512 
    +    data constructor: TrNameS
    513 513 
         lifted: yes
    514 514 
         literals: address ‘$trModule1_@name_suffix@’
    515 515 
         used items: <none>
    516 
    -  ordinary object ‘divides’:
    516 
    +  object ‘divides’:
    517 517 
         arity: 3
    518 518 
         literals: <none>
    519 519 
         used items:
    520 
    -      ordinary object ‘$dReal_@name_suffix@’:
    520 
    +      object ‘$dReal_@name_suffix@’:
    521 521 
             arity: 0
    522 522 
             literals: <none>
    523 523 
             used items:
    524 
    -          ordinary object ‘divides_sat_@name_suffix@’:
    524 
    +          object ‘divides_sat_@name_suffix@’:
    525 525 
                 arity: 1
    526 526 
                 literals:
    527 527 
                   word 0
    528 528 
                   info table of ‘IS’
    529 529 
                 used items:
    530 
    -              ordinary object ‘divides_sat_@name_suffix@’:
    530 
    +              object ‘divides_sat_@name_suffix@’:
    531 531 
                     arity: 0
    532 532 
                     literals: <none>
    533 533 
                     used items: named item ‘fromInteger’
    534 534 
                   named item ‘$p1Real’
    535 
    -          ordinary object ‘divides_sat_@name_suffix@’:
    535 
    +          object ‘divides_sat_@name_suffix@’:
    536 536 
                 arity: 3
    537 537 
                 literals: <none>
    538 538 
                 used items: named item ‘mod’
    539 
    -          ordinary object ‘divides_sat_@name_suffix@’:
    539 
    +          object ‘divides_sat_@name_suffix@’:
    540 540 
                 arity: 0
    541 541 
                 literals: <none>
    542 542 
                 used items:
    543 
    -              ordinary object ‘divides_sat_@name_suffix@’:
    543 
    +              object ‘divides_sat_@name_suffix@’:
    544 544 
                     arity: 0
    545 545 
                     literals: <none>
    546 
    -                used items: named item ‘==’
    546 
    +                used items: named item ‘(==)’
    547 547 
                   named item ‘$p1Ord’
    548 548 
               named item ‘$p2Real’
    549 549 
           named item ‘$p1Integral’
    550 
    -  ordinary object ‘Node’:
    550 
    +  object ‘Node’:
    551 551 
         arity: 3
    552 552 
         literals: info table of ‘Node’
    553 553 
         used items: <none>
    554 
    -  ordinary object ‘Leaf’:
    554 
    +  object ‘Leaf’:
    555 555 
         arity: 1
    556 556 
         literals: info table of ‘Leaf’
    557 557 
         used items: <none>
    558 
    -  ordinary object ‘Nested’:
    558 
    +  object ‘Nested’:
    559 559 
         arity: 1
    560 560 
         literals: info table of ‘Nested’
    561 561 
         used items: <none>
    562 
    -  ordinary object ‘PerfectTree’:
    562 
    +  object ‘PerfectTree’:
    563 563 
         arity: 1
    564 564 
         literals: info table of ‘PerfectTree’
    565 565 
         used items: <none>

    • —
    View it on GitLab.
    You're receiving this email because of your account on gitlab.haskell.org. Manage all notifications · Help Notification message regarding https://gitlab.haskell.org/ghc/ghc/-/compare/58e096ccdf89e8a7f413b6c5fc3fca3689b6eb71...3cf8ab6912a0eaf2b5fe7494616be41ee2399a1c at 1785418412