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