Skip to content

Instantly share code, notes, and snippets.

@RyanGlScott

RyanGlScott/Gen_v1.hs

Created June 9, 2016 00:57
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save RyanGlScott/8341acaaf38b7fbd6e08c2ffc77aa7bd to your computer and use it in GitHub Desktop.
Save RyanGlScott/8341acaaf38b7fbd6e08c2ffc77aa7bd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
Gen_v1.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module Gen_v1 where
import GHC.Generics
data Bigsum = C0 | C1 | C2 | C3
instance Generic Bigsum where
from C0 = M1 (L1 (L1 (M1 U1)))
from C1 = M1 (L1 (R1 (M1 U1)))
from C2 = M1 (R1 (L1 (M1 U1)))
from C3 = M1 (R1 (R1 (M1 U1)))
to (M1 (L1 (L1 (M1 U1)))) = C0
to (M1 (L1 (R1 (M1 U1)))) = C1
to (M1 (R1 (L1 (M1 U1)))) = C2
to (M1 (R1 (R1 (M1 U1)))) = C3
type Rep Bigsum = D1 ('MetaData "Bigsum" "Gen_v1" "main" 'False)
((C1 ('MetaCons "C0"
'PrefixI
'False) U1
:+: C1 ('MetaCons "C1"
'PrefixI
'False) U1)
:+: (C1 ('MetaCons "C2"
'PrefixI
'False) U1
:+: C1 ('MetaCons "C3"
'PrefixI
'False) U1))
Raw
Gen_v1.txt
$ /opt/ghc/8.0.1/bin/ghc -fforce-recomp -O2 -v3 Gen_v1.hs +RTS -s
Glasgow Haskell Compiler, Version 8.0.1, stage 2 booted by GHC version 7.10.3
Using binary package database: /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d/package.cache
Using binary package database: /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d/package.cache
loading package database /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d
loading package database /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.0.1
wired-in package dph-seq not found.
wired-in package dph-par not found.
Hsc static flags:
loading package database /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d
loading package database /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts-1.0
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.0.1
wired-in package dph-seq not found.
wired-in package dph-par not found.
*** Chasing dependencies:
Chasing modules from: *Gen_v1.hs
!!! Chasing dependencies: finished in 0.00 milliseconds, allocated 1.002 megabytes
Stable obj: []
Stable BCO: []
Ready for upsweep
[NONREC
ModSummary {
ms_hs_date = 2016-06-09 00:47:54.925354258 UTC
ms_mod = Gen_v1,
ms_textual_imps = [(Nothing, Prelude), (Nothing, GHC.Generics)]
ms_srcimps = []
}]
*** Deleting temp files:
Deleting:
compile: input file Gen_v1.hs
*** Checking old interface for Gen_v1:
[1 of 1] Compiling Gen_v1 ( Gen_v1.hs, Gen_v1.o )
*** Parser [Gen_v1]:
!!! Parser [Gen_v1]: finished in 0.00 milliseconds, allocated 1.298 megabytes
*** Renamer/typechecker [Gen_v1]:
!!! Renamer/typechecker [Gen_v1]: finished in 60.00 milliseconds, allocated 34.232 megabytes
*** Desugar [Gen_v1]:
Result size of Desugar (after optimization)
= {terms: 97, types: 327, coercions: 271}
!!! Desugar [Gen_v1]: finished in 4.00 milliseconds, allocated 0.827 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier iteration=1
= {terms: 111, types: 358, coercions: 244}
Result size of Simplifier
= {terms: 111, types: 358, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 4.00 milliseconds, allocated 0.997 megabytes
*** Specialise [Gen_v1]:
Result size of Specialise
= {terms: 111, types: 358, coercions: 239}
!!! Specialise [Gen_v1]: finished in 0.00 milliseconds, allocated 0.172 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Gen_v1]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False})
= {terms: 135, types: 558, coercions: 239}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Gen_v1]: finished in 0.00 milliseconds, allocated 0.496 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 0.00 milliseconds, allocated 0.577 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 0.00 milliseconds, allocated 0.576 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 4.00 milliseconds, allocated 0.576 megabytes
*** Float inwards [Gen_v1]:
Result size of Float inwards
= {terms: 135, types: 558, coercions: 239}
!!! Float inwards [Gen_v1]: finished in 0.00 milliseconds, allocated 0.186 megabytes
*** Called arity analysis [Gen_v1]:
Result size of Called arity analysis
= {terms: 135, types: 558, coercions: 239}
!!! Called arity analysis [Gen_v1]: finished in 0.00 milliseconds, allocated 0.168 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 0.00 milliseconds, allocated 0.576 megabytes
*** Demand analysis [Gen_v1]:
Result size of Demand analysis
= {terms: 135, types: 558, coercions: 239}
!!! Demand analysis [Gen_v1]: finished in 0.00 milliseconds, allocated 0.436 megabytes
*** Worker Wrapper binds [Gen_v1]:
Result size of Worker Wrapper binds
= {terms: 135, types: 558, coercions: 239}
!!! Worker Wrapper binds [Gen_v1]: finished in 0.00 milliseconds, allocated 0.105 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 0.00 milliseconds, allocated 0.661 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Gen_v1]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True})
= {terms: 135, types: 558, coercions: 239}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Gen_v1]: finished in 4.00 milliseconds, allocated 0.621 megabytes
*** Common sub-expression [Gen_v1]:
Result size of Common sub-expression
= {terms: 135, types: 558, coercions: 239}
!!! Common sub-expression [Gen_v1]: finished in 0.00 milliseconds, allocated 0.248 megabytes
*** Float inwards [Gen_v1]:
Result size of Float inwards
= {terms: 135, types: 558, coercions: 239}
!!! Float inwards [Gen_v1]: finished in 0.00 milliseconds, allocated 0.185 megabytes
*** Liberate case [Gen_v1]:
Result size of Liberate case
= {terms: 135, types: 558, coercions: 239}
!!! Liberate case [Gen_v1]: finished in 0.00 milliseconds, allocated 0.101 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 0.00 milliseconds, allocated 0.659 megabytes
*** SpecConstr [Gen_v1]:
Result size of SpecConstr
= {terms: 135, types: 558, coercions: 239}
!!! SpecConstr [Gen_v1]: finished in 0.00 milliseconds, allocated 0.190 megabytes
*** Simplifier [Gen_v1]:
Result size of Simplifier
= {terms: 135, types: 558, coercions: 239}
!!! Simplifier [Gen_v1]: finished in 0.00 milliseconds, allocated 0.672 megabytes
*** CoreTidy [Gen_v1]:
Result size of Tidy Core = {terms: 135, types: 558, coercions: 239}
!!! CoreTidy [Gen_v1]: finished in 4.00 milliseconds, allocated 0.439 megabytes
Created temporary directory: /tmp/ghc18321_0
*** CorePrep [Gen_v1]:
Result size of CorePrep = {terms: 143, types: 562, coercions: 239}
!!! CorePrep [Gen_v1]: finished in 0.00 milliseconds, allocated 0.251 megabytes
*** Stg2Stg:
*** CodeGen [Gen_v1]:
!!! CodeGen [Gen_v1]: finished in 8.00 milliseconds, allocated 4.104 megabytes
*** Assembler:
/usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -I. -x assembler -c /tmp/ghc18321_0/ghc_2.s -o Gen_v1.o
Upsweep completely successful.
*** Deleting temp files:
Deleting: /tmp/ghc18321_0/ghc_3.c /tmp/ghc18321_0/ghc_2.s /tmp/ghc18321_0/ghc_1.s
Warning: deleting non-existent /tmp/ghc18321_0/ghc_3.c
Warning: deleting non-existent /tmp/ghc18321_0/ghc_1.s
link(batch): upsweep (partially) failed OR
Main.main not exported; not linking.
*** Deleting temp files:
Deleting:
*** Deleting temp dirs:
Deleting: /tmp/ghc18321_0
94,739,056 bytes allocated in the heap
41,416,664 bytes copied during GC
7,922,560 bytes maximum residency (6 sample(s))
1,006,752 bytes maximum slop
22 MB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 91 colls, 0 par 0.039s 0.039s 0.0004s 0.0034s
Gen 1 6 colls, 0 par 0.073s 0.073s 0.0121s 0.0175s
TASKS: 4 (1 bound, 3 peak workers (3 total), using -N1)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.004s ( 0.003s elapsed)
MUT time 0.054s ( 0.062s elapsed)
GC time 0.112s ( 0.112s elapsed)
EXIT time 0.014s ( 0.014s elapsed)
Total time 0.201s ( 0.191s elapsed)
Alloc rate 1,739,559,272 bytes per MUT second
Productivity 42.7% of total user, 45.0% of total elapsed
gc_alloc_block_sync: 0
whitehole_spin: 0
gen[0].sync: 0
gen[1].sync: 0
Raw
Gen_v2.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module Gen_v2 where
import GHC.Generics
data Bigsum = C0 | C1 | C2 | C3
instance Generic Bigsum where
from x = M1 (case x of
C0 -> L1 (L1 (M1 U1))
C1 -> L1 (R1 (M1 U1))
C2 -> R1 (L1 (M1 U1))
C3 -> R1 (R1 (M1 U1)))
to (M1 x) = case x of
L1 (L1 (M1 U1)) -> C0
L1 (R1 (M1 U1)) -> C1
R1 (L1 (M1 U1)) -> C2
R1 (R1 (M1 U1)) -> C3
type Rep Bigsum = D1 ('MetaData "Bigsum" "Gen_v2" "main" 'False)
((C1 ('MetaCons "C0"
'PrefixI
'False) U1
:+: C1 ('MetaCons "C1"
'PrefixI
'False) U1)
:+: (C1 ('MetaCons "C2"
'PrefixI
'False) U1
:+: C1 ('MetaCons "C3"
'PrefixI
'False) U1))
Raw
Gen_v2.txt
$ /opt/ghc/8.0.1/bin/ghc -fforce-recomp -O2 -v3 Gen_v2.hs +RTS -s
Glasgow Haskell Compiler, Version 8.0.1, stage 2 booted by GHC version 7.10.3
Using binary package database: /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d/package.cache
Using binary package database: /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d/package.cache
loading package database /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d
loading package database /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.0.1
wired-in package dph-seq not found.
wired-in package dph-par not found.
Hsc static flags:
loading package database /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d
loading package database /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts-1.0
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.0.1
wired-in package dph-seq not found.
wired-in package dph-par not found.
*** Chasing dependencies:
Chasing modules from: *Gen_v2.hs
!!! Chasing dependencies: finished in 4.00 milliseconds, allocated 1.001 megabytes
Stable obj: []
Stable BCO: []
Ready for upsweep
[NONREC
ModSummary {
ms_hs_date = 2016-06-09 00:47:57.1933494 UTC
ms_mod = Gen_v2,
ms_textual_imps = [(Nothing, Prelude), (Nothing, GHC.Generics)]
ms_srcimps = []
}]
*** Deleting temp files:
Deleting:
compile: input file Gen_v2.hs
*** Checking old interface for Gen_v2:
[1 of 1] Compiling Gen_v2 ( Gen_v2.hs, Gen_v2.o )
*** Parser [Gen_v2]:
!!! Parser [Gen_v2]: finished in 4.00 milliseconds, allocated 1.249 megabytes
*** Renamer/typechecker [Gen_v2]:
!!! Renamer/typechecker [Gen_v2]: finished in 56.00 milliseconds, allocated 33.138 megabytes
*** Desugar [Gen_v2]:
Result size of Desugar (after optimization)
= {terms: 97, types: 350, coercions: 154}
!!! Desugar [Gen_v2]: finished in 4.00 milliseconds, allocated 0.694 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier iteration=1
= {terms: 113, types: 415, coercions: 128}
Result size of Simplifier
= {terms: 113, types: 415, coercions: 126}
!!! Simplifier [Gen_v2]: finished in 0.00 milliseconds, allocated 0.942 megabytes
*** Specialise [Gen_v2]:
Result size of Specialise
= {terms: 113, types: 415, coercions: 126}
!!! Specialise [Gen_v2]: finished in 0.00 milliseconds, allocated 0.171 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Gen_v2]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False})
= {terms: 137, types: 631, coercions: 126}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Gen_v2]: finished in 0.00 milliseconds, allocated 0.498 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier iteration=1
= {terms: 137, types: 631, coercions: 174}
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 8.00 milliseconds, allocated 1.143 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 0.00 milliseconds, allocated 0.575 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 0.00 milliseconds, allocated 0.573 megabytes
*** Float inwards [Gen_v2]:
Result size of Float inwards
= {terms: 137, types: 631, coercions: 174}
!!! Float inwards [Gen_v2]: finished in 0.00 milliseconds, allocated 0.184 megabytes
*** Called arity analysis [Gen_v2]:
Result size of Called arity analysis
= {terms: 137, types: 631, coercions: 174}
!!! Called arity analysis [Gen_v2]: finished in 0.00 milliseconds, allocated 0.172 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 0.00 milliseconds, allocated 0.573 megabytes
*** Demand analysis [Gen_v2]:
Result size of Demand analysis
= {terms: 137, types: 631, coercions: 174}
!!! Demand analysis [Gen_v2]: finished in 0.00 milliseconds, allocated 0.423 megabytes
*** Worker Wrapper binds [Gen_v2]:
Result size of Worker Wrapper binds
= {terms: 137, types: 631, coercions: 174}
!!! Worker Wrapper binds [Gen_v2]: finished in 0.00 milliseconds, allocated 0.110 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 0.00 milliseconds, allocated 0.634 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Gen_v2]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True})
= {terms: 137, types: 631, coercions: 174}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Gen_v2]: finished in 0.00 milliseconds, allocated 0.627 megabytes
*** Common sub-expression [Gen_v2]:
Result size of Common sub-expression
= {terms: 137, types: 631, coercions: 174}
!!! Common sub-expression [Gen_v2]: finished in 0.00 milliseconds, allocated 0.248 megabytes
*** Float inwards [Gen_v2]:
Result size of Float inwards
= {terms: 137, types: 631, coercions: 174}
!!! Float inwards [Gen_v2]: finished in 0.00 milliseconds, allocated 0.184 megabytes
*** Liberate case [Gen_v2]:
Result size of Liberate case
= {terms: 137, types: 631, coercions: 174}
!!! Liberate case [Gen_v2]: finished in 0.00 milliseconds, allocated 0.101 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 8.00 milliseconds, allocated 0.630 megabytes
*** SpecConstr [Gen_v2]:
Result size of SpecConstr
= {terms: 137, types: 631, coercions: 174}
!!! SpecConstr [Gen_v2]: finished in 0.00 milliseconds, allocated 0.193 megabytes
*** Simplifier [Gen_v2]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v2]: finished in 0.00 milliseconds, allocated 0.647 megabytes
*** CoreTidy [Gen_v2]:
Result size of Tidy Core = {terms: 137, types: 631, coercions: 174}
!!! CoreTidy [Gen_v2]: finished in 0.00 milliseconds, allocated 0.454 megabytes
Created temporary directory: /tmp/ghc18376_0
*** CorePrep [Gen_v2]:
Result size of CorePrep = {terms: 148, types: 638, coercions: 174}
!!! CorePrep [Gen_v2]: finished in 0.00 milliseconds, allocated 0.254 megabytes
*** Stg2Stg:
*** CodeGen [Gen_v2]:
!!! CodeGen [Gen_v2]: finished in 8.00 milliseconds, allocated 4.259 megabytes
*** Assembler:
/usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -I. -x assembler -c /tmp/ghc18376_0/ghc_2.s -o Gen_v2.o
Upsweep completely successful.
*** Deleting temp files:
Deleting: /tmp/ghc18376_0/ghc_3.c /tmp/ghc18376_0/ghc_2.s /tmp/ghc18376_0/ghc_1.s
Warning: deleting non-existent /tmp/ghc18376_0/ghc_3.c
Warning: deleting non-existent /tmp/ghc18376_0/ghc_1.s
link(batch): upsweep (partially) failed OR
Main.main not exported; not linking.
*** Deleting temp files:
Deleting:
*** Deleting temp dirs:
Deleting: /tmp/ghc18376_0
93,979,880 bytes allocated in the heap
41,177,720 bytes copied during GC
7,920,536 bytes maximum residency (6 sample(s))
1,035,432 bytes maximum slop
22 MB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 90 colls, 0 par 0.037s 0.038s 0.0004s 0.0034s
Gen 1 6 colls, 0 par 0.074s 0.076s 0.0126s 0.0181s
TASKS: 4 (1 bound, 3 peak workers (3 total), using -N1)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.001s ( 0.001s elapsed)
MUT time 0.051s ( 0.059s elapsed)
GC time 0.112s ( 0.113s elapsed)
EXIT time 0.014s ( 0.015s elapsed)
Total time 0.196s ( 0.187s elapsed)
Alloc rate 1,846,250,439 bytes per MUT second
Productivity 42.6% of total user, 44.5% of total elapsed
gc_alloc_block_sync: 0
whitehole_spin: 0
gen[0].sync: 0
gen[1].sync: 0
Raw
Gen_v3.hs
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module Gen_v3 where
import GHC.Generics
data Bigsum = C0 | C1 | C2 | C3
instance Generic Bigsum where
from x = M1 (case x of
C0 -> L1 (L1 (M1 U1))
C1 -> L1 (R1 (M1 U1))
C2 -> R1 (L1 (M1 U1))
C3 -> R1 (R1 (M1 U1)))
to (M1 x) = case x of
L1 a -> case a of
L1 b -> case b of
M1 U1 -> C0
R1 b -> case b of
M1 U1 -> C1
R1 a -> case a of
L1 b -> case b of
M1 U1 -> C2
R1 b -> case b of
M1 U1 -> C3
type Rep Bigsum = D1 ('MetaData "Bigsum" "Gen_v3" "main" 'False)
((C1 ('MetaCons "C0"
'PrefixI
'False) U1
:+: C1 ('MetaCons "C1"
'PrefixI
'False) U1)
:+: (C1 ('MetaCons "C2"
'PrefixI
'False) U1
:+: C1 ('MetaCons "C3"
'PrefixI
'False) U1))
Raw
Gen_v3.txt
$ /opt/ghc/8.0.1/bin/ghc -fforce-recomp -O2 -v3 Gen_v3.hs +RTS -s
Glasgow Haskell Compiler, Version 8.0.1, stage 2 booted by GHC version 7.10.3
Using binary package database: /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d/package.cache
Using binary package database: /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d/package.cache
loading package database /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d
loading package database /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.0.1
wired-in package dph-seq not found.
wired-in package dph-par not found.
Hsc static flags:
loading package database /opt/ghc/8.0.1/lib/ghc-8.0.1/package.conf.d
loading package database /home/ryanglscott/.ghc/x86_64-linux-8.0.1/package.conf.d
wired-in package ghc-prim mapped to ghc-prim-0.5.0.0
wired-in package integer-gmp mapped to integer-gmp-1.0.0.1
wired-in package base mapped to base-4.9.0.0
wired-in package rts mapped to rts-1.0
wired-in package template-haskell mapped to template-haskell-2.11.0.0
wired-in package ghc mapped to ghc-8.0.1
wired-in package dph-seq not found.
wired-in package dph-par not found.
*** Chasing dependencies:
Chasing modules from: *Gen_v3.hs
!!! Chasing dependencies: finished in 4.00 milliseconds, allocated 1.002 megabytes
Stable obj: []
Stable BCO: []
Ready for upsweep
[NONREC
ModSummary {
ms_hs_date = 2016-06-09 00:48:28.597284481 UTC
ms_mod = Gen_v3,
ms_textual_imps = [(Nothing, Prelude), (Nothing, GHC.Generics)]
ms_srcimps = []
}]
*** Deleting temp files:
Deleting:
compile: input file Gen_v3.hs
*** Checking old interface for Gen_v3:
[1 of 1] Compiling Gen_v3 ( Gen_v3.hs, Gen_v3.o )
*** Parser [Gen_v3]:
!!! Parser [Gen_v3]: finished in 4.00 milliseconds, allocated 1.361 megabytes
*** Renamer/typechecker [Gen_v3]:
!!! Renamer/typechecker [Gen_v3]: finished in 60.00 milliseconds, allocated 33.226 megabytes
*** Desugar [Gen_v3]:
Result size of Desugar (after optimization)
= {terms: 97, types: 350, coercions: 154}
!!! Desugar [Gen_v3]: finished in 4.00 milliseconds, allocated 0.788 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier iteration=1
= {terms: 113, types: 415, coercions: 128}
Result size of Simplifier
= {terms: 113, types: 415, coercions: 126}
!!! Simplifier [Gen_v3]: finished in 0.00 milliseconds, allocated 0.941 megabytes
*** Specialise [Gen_v3]:
Result size of Specialise
= {terms: 113, types: 415, coercions: 126}
!!! Specialise [Gen_v3]: finished in 0.00 milliseconds, allocated 0.175 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Gen_v3]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False})
= {terms: 137, types: 631, coercions: 126}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = False}) [Gen_v3]: finished in 0.00 milliseconds, allocated 0.498 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier iteration=1
= {terms: 137, types: 631, coercions: 174}
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 4.00 milliseconds, allocated 1.142 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 0.00 milliseconds, allocated 0.574 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 0.00 milliseconds, allocated 0.572 megabytes
*** Float inwards [Gen_v3]:
Result size of Float inwards
= {terms: 137, types: 631, coercions: 174}
!!! Float inwards [Gen_v3]: finished in 0.00 milliseconds, allocated 0.184 megabytes
*** Called arity analysis [Gen_v3]:
Result size of Called arity analysis
= {terms: 137, types: 631, coercions: 174}
!!! Called arity analysis [Gen_v3]: finished in 0.00 milliseconds, allocated 0.173 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 0.00 milliseconds, allocated 0.573 megabytes
*** Demand analysis [Gen_v3]:
Result size of Demand analysis
= {terms: 137, types: 631, coercions: 174}
!!! Demand analysis [Gen_v3]: finished in 4.00 milliseconds, allocated 0.426 megabytes
*** Worker Wrapper binds [Gen_v3]:
Result size of Worker Wrapper binds
= {terms: 137, types: 631, coercions: 174}
!!! Worker Wrapper binds [Gen_v3]: finished in 0.00 milliseconds, allocated 0.107 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 0.00 milliseconds, allocated 0.634 megabytes
*** Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Gen_v3]:
Result size of Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True})
= {terms: 137, types: 631, coercions: 174}
!!! Float out(FOS {Lam = Just 0,
Consts = True,
OverSatApps = True}) [Gen_v3]: finished in 0.00 milliseconds, allocated 0.628 megabytes
*** Common sub-expression [Gen_v3]:
Result size of Common sub-expression
= {terms: 137, types: 631, coercions: 174}
!!! Common sub-expression [Gen_v3]: finished in 0.00 milliseconds, allocated 0.249 megabytes
*** Float inwards [Gen_v3]:
Result size of Float inwards
= {terms: 137, types: 631, coercions: 174}
!!! Float inwards [Gen_v3]: finished in 0.00 milliseconds, allocated 0.187 megabytes
*** Liberate case [Gen_v3]:
Result size of Liberate case
= {terms: 137, types: 631, coercions: 174}
!!! Liberate case [Gen_v3]: finished in 0.00 milliseconds, allocated 0.101 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 4.00 milliseconds, allocated 0.633 megabytes
*** SpecConstr [Gen_v3]:
Result size of SpecConstr
= {terms: 137, types: 631, coercions: 174}
!!! SpecConstr [Gen_v3]: finished in 0.00 milliseconds, allocated 0.194 megabytes
*** Simplifier [Gen_v3]:
Result size of Simplifier
= {terms: 137, types: 631, coercions: 174}
!!! Simplifier [Gen_v3]: finished in 0.00 milliseconds, allocated 0.644 megabytes
*** CoreTidy [Gen_v3]:
Result size of Tidy Core = {terms: 137, types: 631, coercions: 174}
!!! CoreTidy [Gen_v3]: finished in 0.00 milliseconds, allocated 0.448 megabytes
Created temporary directory: /tmp/ghc18441_0
*** CorePrep [Gen_v3]:
Result size of CorePrep = {terms: 148, types: 638, coercions: 174}
!!! CorePrep [Gen_v3]: finished in 0.00 milliseconds, allocated 0.254 megabytes
*** Stg2Stg:
*** CodeGen [Gen_v3]:
!!! CodeGen [Gen_v3]: finished in 4.00 milliseconds, allocated 4.254 megabytes
*** Assembler:
/usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -I. -x assembler -c /tmp/ghc18441_0/ghc_2.s -o Gen_v3.o
Upsweep completely successful.
*** Deleting temp files:
Deleting: /tmp/ghc18441_0/ghc_3.c /tmp/ghc18441_0/ghc_2.s /tmp/ghc18441_0/ghc_1.s
Warning: deleting non-existent /tmp/ghc18441_0/ghc_3.c
Warning: deleting non-existent /tmp/ghc18441_0/ghc_1.s
link(batch): upsweep (partially) failed OR
Main.main not exported; not linking.
*** Deleting temp files:
Deleting:
*** Deleting temp dirs:
Deleting: /tmp/ghc18441_0
94,281,768 bytes allocated in the heap
41,140,432 bytes copied during GC
7,931,304 bytes maximum residency (6 sample(s))
1,011,072 bytes maximum slop
22 MB total memory in use (0 MB lost due to fragmentation)
Tot time (elapsed) Avg pause Max pause
Gen 0 89 colls, 0 par 0.037s 0.037s 0.0004s 0.0034s
Gen 1 6 colls, 0 par 0.077s 0.078s 0.0129s 0.0207s
TASKS: 4 (1 bound, 3 peak workers (3 total), using -N1)
SPARKS: 0 (0 converted, 0 overflowed, 0 dud, 0 GC'd, 0 fizzled)
INIT time 0.005s ( 0.005s elapsed)
MUT time 0.051s ( 0.058s elapsed)
GC time 0.114s ( 0.115s elapsed)
EXIT time 0.014s ( 0.014s elapsed)
Total time 0.203s ( 0.192s elapsed)
Alloc rate 1,848,147,571 bytes per MUT second
Productivity 41.1% of total user, 43.4% of total elapsed
gc_alloc_block_sync: 0
whitehole_spin: 0
gen[0].sync: 0
gen[1].sync: 0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment