out.txt

Resolving dependencies...
Build profile: -w ghc-8.6.4 -O1
In order, the following will be built (use -v for more details):
 - adtcorerep-0.0.0 (lib) (first run)
Configuring library for adtcorerep-0.0.0..
Preprocessing library for adtcorerep-0.0.0..
Building library for adtcorerep-0.0.0..
[1 of 3] Compiling Foo              ( src/Foo.hs, /mnt/data/depot/git/haskell/experiments/adtcorerep/dist-newstyle/build/x86_64-linux/ghc-8.6.4/adtcorerep-0.0.0/build/Foo.o )

==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 57, types: 16, coercions: 0, joins: 0/0}

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule4
$trModule4 = "adtcorerep-0.0.0-inplace"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule3
$trModule3 = TrNameS $trModule4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2
$trModule2 = "Foo"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule1
$trModule1 = TrNameS $trModule2

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$trModule
$trModule = Module $trModule3 $trModule1

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcBar2
$tcBar2 = "Bar"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tcBar1
$tcBar1 = TrNameS $tcBar2

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tcBar
$tcBar
  = TyCon
      3058817650816237233##
      17788384693456481455##
      $trModule
      $tcBar1
      0#
      krep$*

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$tc'Baz1
$tc'Baz1 = KindRepTyConApp $tcBar []

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Baz3
$tc'Baz3 = "'Baz"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Baz2
$tc'Baz2 = TrNameS $tc'Baz3

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Baz
$tc'Baz
  = TyCon
      545200988113197887##
      11916157784239143547##
      $trModule
      $tc'Baz2
      0#
      $tc'Baz1

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Quux2
$tc'Quux2 = "'Quux"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Quux1
$tc'Quux1 = TrNameS $tc'Quux2

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Quux
$tc'Quux
  = TyCon
      10580984012893504002##
      9510701008070324074##
      $trModule
      $tc'Quux1
      0#
      $tc'Baz1



[2 of 3] Compiling Main             ( src/Main.hs, /mnt/data/depot/git/haskell/experiments/adtcorerep/dist-newstyle/build/x86_64-linux/ghc-8.6.4/adtcorerep-0.0.0/build/Main.o )

==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 67, types: 21, coercions: 0, joins: 0/0}

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
main2
main2 = "Hello, Haskell!"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
main1
main1 = unpackCString# main2

-- RHS size: {terms: 4, types: 0, coercions: 0, joins: 0/0}
main
main = hPutStr' stdout main1 True

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule4
$trModule4 = "adtcorerep-0.0.0-inplace"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule3
$trModule3 = TrNameS $trModule4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2
$trModule2 = "Main"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule1
$trModule1 = TrNameS $trModule2

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$trModule
$trModule = Module $trModule3 $trModule1

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tcFoo2
$tcFoo2 = "Foo"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tcFoo1
$tcFoo1 = TrNameS $tcFoo2

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tcFoo
$tcFoo
  = TyCon
      4670441032895272053##
      8007988085694397346##
      $trModule
      $tcFoo1
      0#
      krep$*

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
$tc'Bar1
$tc'Bar1 = KindRepTyConApp $tcFoo []

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Bar3
$tc'Bar3 = "'Bar"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Bar2
$tc'Bar2 = TrNameS $tc'Bar3

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Bar
$tc'Bar
  = TyCon
      10736237777881590440##
      10006012214174488487##
      $trModule
      $tc'Bar2
      0#
      $tc'Bar1

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$tc'Baz2
$tc'Baz2 = "'Baz"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$tc'Baz1
$tc'Baz1 = TrNameS $tc'Baz2

-- RHS size: {terms: 7, types: 0, coercions: 0, joins: 0/0}
$tc'Baz
$tc'Baz
  = TyCon
      12724624199500197986##
      3813992139853837223##
      $trModule
      $tc'Baz1
      0#
      $tc'Bar1



[3 of 3] Compiling Paths_adtcorerep ( /mnt/data/depot/git/haskell/experiments/adtcorerep/dist-newstyle/build/x86_64-linux/ghc-8.6.4/adtcorerep-0.0.0/build/autogen/Paths_adtcorerep.hs, /mnt/data/depot/git/haskell/experiments/adtcorerep/dist-newstyle/build/x86_64-linux/ghc-8.6.4/adtcorerep-0.0.0/build/Paths_adtcorerep.o )

==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 419, types: 712, coercions: 95, joins: 0/0}

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
version4
version4 = I# 0#

-- RHS size: {terms: 3, types: 2, coercions: 0, joins: 0/0}
version3
version3 = : version4 []

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
version2
version2 = : version4 version3

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
version1
version1 = : version4 version2

-- RHS size: {terms: 3, types: 1, coercions: 0, joins: 0/0}
version
version = Version version1 []

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule4
$trModule4 = "adtcorerep-0.0.0-inplace"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule3
$trModule3 = TrNameS $trModule4

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
$trModule2
$trModule2 = "Paths_adtcorerep"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
$trModule1
$trModule1 = TrNameS $trModule2

-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
$trModule
$trModule = Module $trModule3 $trModule1

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getBinDir7
getBinDir7 = "adtcorerep_bindir"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getBinDir6
getBinDir6 = unpackCString# getBinDir7

-- RHS size: {terms: 23, types: 40, coercions: 8, joins: 0/0}
getBinDir5
getBinDir5
  = \ s_a2FF ->
      case ((noinline getForeignEncoding) `cast` <Co:2>) s_a2FF of
      { (# ipv_a2Nf, ipv1_a2Ng #) ->
      case charIsRepresentable3
             ipv1_a2Ng getBinDir6 (getEnv3 `cast` <Co:6>) ipv_a2Nf
      of
      { (# ipv2_a2Py, ipv3_a2Pz #) ->
      case ipv3_a2Pz of {
        Nothing -> getEnv2 getBinDir6 ipv2_a2Py;
        Just x_a2PF -> (# ipv2_a2Py, x_a2PF #)
      }
      }
      }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getBinDir4
getBinDir4 = "/home/ankh/.cabal/bin"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getBinDir3
getBinDir3 = unpackCString# getBinDir4

-- RHS size: {terms: 18, types: 26, coercions: 4, joins: 0/0}
getBinDir2
getBinDir2
  = \ e1_a2hk eta_B1 ->
      case e1_a2hk of wild_a2EX
      { SomeException @ e2_a2F5 $dException1_a2F6 e3_a2F7 ->
      case sameTypeRep
             (($p1Exception $dException1_a2F6) `cast` <Co:4>)
             $fExceptionIOException4
      of {
        False -> raiseIO# wild_a2EX eta_B1;
        True -> (# eta_B1, getBinDir3 #)
      }
      }

-- RHS size: {terms: 5, types: 4, coercions: 0, joins: 0/0}
getBinDir1
getBinDir1 = \ eta_X2hI -> catch# getBinDir5 getBinDir2 eta_X2hI

-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
getBinDir
getBinDir = getBinDir1 `cast` <Co:3>

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getLibDir7
getLibDir7 = "adtcorerep_libdir"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getLibDir6
getLibDir6 = unpackCString# getLibDir7

-- RHS size: {terms: 23, types: 40, coercions: 8, joins: 0/0}
getLibDir5
getLibDir5
  = \ s_a2FF ->
      case ((noinline getForeignEncoding) `cast` <Co:2>) s_a2FF of
      { (# ipv_a2Nf, ipv1_a2Ng #) ->
      case charIsRepresentable3
             ipv1_a2Ng getLibDir6 (getEnv3 `cast` <Co:6>) ipv_a2Nf
      of
      { (# ipv2_a2Py, ipv3_a2Pz #) ->
      case ipv3_a2Pz of {
        Nothing -> getEnv2 getLibDir6 ipv2_a2Py;
        Just x_a2PF -> (# ipv2_a2Py, x_a2PF #)
      }
      }
      }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getLibDir4
getLibDir4
  = "/home/ankh/.cabal/lib/x86_64-linux-ghc-8.6.4/adtcorerep-0.0.0-inplace"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getLibDir3
getLibDir3 = unpackCString# getLibDir4

-- RHS size: {terms: 18, types: 26, coercions: 4, joins: 0/0}
getLibDir2
getLibDir2
  = \ e1_a2hk eta_B1 ->
      case e1_a2hk of wild_a2EX
      { SomeException @ e2_a2F5 $dException1_a2F6 e3_a2F7 ->
      case sameTypeRep
             (($p1Exception $dException1_a2F6) `cast` <Co:4>)
             $fExceptionIOException4
      of {
        False -> raiseIO# wild_a2EX eta_B1;
        True -> (# eta_B1, getLibDir3 #)
      }
      }

-- RHS size: {terms: 5, types: 4, coercions: 0, joins: 0/0}
getLibDir1
getLibDir1 = \ eta_X2ih -> catch# getLibDir5 getLibDir2 eta_X2ih

-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
getLibDir
getLibDir = getLibDir1 `cast` <Co:3>

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getDynLibDir7
getDynLibDir7 = "adtcorerep_dynlibdir"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getDynLibDir6
getDynLibDir6 = unpackCString# getDynLibDir7

-- RHS size: {terms: 23, types: 40, coercions: 8, joins: 0/0}
getDynLibDir5
getDynLibDir5
  = \ s_a2FF ->
      case ((noinline getForeignEncoding) `cast` <Co:2>) s_a2FF of
      { (# ipv_a2Nf, ipv1_a2Ng #) ->
      case charIsRepresentable3
             ipv1_a2Ng getDynLibDir6 (getEnv3 `cast` <Co:6>) ipv_a2Nf
      of
      { (# ipv2_a2Py, ipv3_a2Pz #) ->
      case ipv3_a2Pz of {
        Nothing -> getEnv2 getDynLibDir6 ipv2_a2Py;
        Just x_a2PF -> (# ipv2_a2Py, x_a2PF #)
      }
      }
      }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getDynLibDir4
getDynLibDir4 = "/home/ankh/.cabal/lib/x86_64-linux-ghc-8.6.4"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getDynLibDir3
getDynLibDir3 = unpackCString# getDynLibDir4

-- RHS size: {terms: 18, types: 26, coercions: 4, joins: 0/0}
getDynLibDir2
getDynLibDir2
  = \ e1_a2hk eta_B1 ->
      case e1_a2hk of wild_a2EX
      { SomeException @ e2_a2F5 $dException1_a2F6 e3_a2F7 ->
      case sameTypeRep
             (($p1Exception $dException1_a2F6) `cast` <Co:4>)
             $fExceptionIOException4
      of {
        False -> raiseIO# wild_a2EX eta_B1;
        True -> (# eta_B1, getDynLibDir3 #)
      }
      }

-- RHS size: {terms: 5, types: 4, coercions: 0, joins: 0/0}
getDynLibDir1
getDynLibDir1
  = \ eta_X2ik -> catch# getDynLibDir5 getDynLibDir2 eta_X2ik

-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
getDynLibDir
getDynLibDir = getDynLibDir1 `cast` <Co:3>

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getDataDir7
getDataDir7 = "adtcorerep_datadir"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getDataDir6
getDataDir6 = unpackCString# getDataDir7

-- RHS size: {terms: 23, types: 40, coercions: 8, joins: 0/0}
getDataDir5
getDataDir5
  = \ s_a2FF ->
      case ((noinline getForeignEncoding) `cast` <Co:2>) s_a2FF of
      { (# ipv_a2Nf, ipv1_a2Ng #) ->
      case charIsRepresentable3
             ipv1_a2Ng getDataDir6 (getEnv3 `cast` <Co:6>) ipv_a2Nf
      of
      { (# ipv2_a2Py, ipv3_a2Pz #) ->
      case ipv3_a2Pz of {
        Nothing -> getEnv2 getDataDir6 ipv2_a2Py;
        Just x_a2PF -> (# ipv2_a2Py, x_a2PF #)
      }
      }
      }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getDataDir4
getDataDir4
  = "/home/ankh/.cabal/share/x86_64-linux-ghc-8.6.4/adtcorerep-0.0.0"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getDataDir3
getDataDir3 = unpackCString# getDataDir4

-- RHS size: {terms: 18, types: 26, coercions: 4, joins: 0/0}
getDataDir2
getDataDir2
  = \ e1_a2hk eta_B1 ->
      case e1_a2hk of wild_a2EX
      { SomeException @ e2_a2F5 $dException1_a2F6 e3_a2F7 ->
      case sameTypeRep
             (($p1Exception $dException1_a2F6) `cast` <Co:4>)
             $fExceptionIOException4
      of {
        False -> raiseIO# wild_a2EX eta_B1;
        True -> (# eta_B1, getDataDir3 #)
      }
      }

-- RHS size: {terms: 5, types: 4, coercions: 0, joins: 0/0}
getDataDir1
getDataDir1 = \ eta_X2in -> catch# getDataDir5 getDataDir2 eta_X2in

-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
getDataDir
getDataDir = getDataDir1 `cast` <Co:3>

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getDataFileName2
getDataFileName2 = "/"#

-- RHS size: {terms: 15, types: 25, coercions: 0, joins: 0/0}
getDataFileName1
getDataFileName1
  = \ name_a29Z s_a2Qc ->
      case catch# getDataDir5 getDataDir2 s_a2Qc of
      { (# ipv_a2Qf, ipv1_a2Qg #) ->
      (# ipv_a2Qf,
         ++ ipv1_a2Qg (unpackAppendCString# getDataFileName2 name_a29Z) #)
      }

-- RHS size: {terms: 1, types: 0, coercions: 5, joins: 0/0}
getDataFileName
getDataFileName = getDataFileName1 `cast` <Co:5>

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getLibexecDir7
getLibexecDir7 = "adtcorerep_libexecdir"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getLibexecDir6
getLibexecDir6 = unpackCString# getLibexecDir7

-- RHS size: {terms: 23, types: 40, coercions: 8, joins: 0/0}
getLibexecDir5
getLibexecDir5
  = \ s_a2FF ->
      case ((noinline getForeignEncoding) `cast` <Co:2>) s_a2FF of
      { (# ipv_a2Nf, ipv1_a2Ng #) ->
      case charIsRepresentable3
             ipv1_a2Ng getLibexecDir6 (getEnv3 `cast` <Co:6>) ipv_a2Nf
      of
      { (# ipv2_a2Py, ipv3_a2Pz #) ->
      case ipv3_a2Pz of {
        Nothing -> getEnv2 getLibexecDir6 ipv2_a2Py;
        Just x_a2PF -> (# ipv2_a2Py, x_a2PF #)
      }
      }
      }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getLibexecDir4
getLibexecDir4
  = "/home/ankh/.cabal/libexec/x86_64-linux-ghc-8.6.4/adtcorerep-0.0.0"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getLibexecDir3
getLibexecDir3 = unpackCString# getLibexecDir4

-- RHS size: {terms: 18, types: 26, coercions: 4, joins: 0/0}
getLibexecDir2
getLibexecDir2
  = \ e1_a2hk eta_B1 ->
      case e1_a2hk of wild_a2EX
      { SomeException @ e2_a2F5 $dException1_a2F6 e3_a2F7 ->
      case sameTypeRep
             (($p1Exception $dException1_a2F6) `cast` <Co:4>)
             $fExceptionIOException4
      of {
        False -> raiseIO# wild_a2EX eta_B1;
        True -> (# eta_B1, getLibexecDir3 #)
      }
      }

-- RHS size: {terms: 5, types: 4, coercions: 0, joins: 0/0}
getLibexecDir1
getLibexecDir1
  = \ eta_X2it -> catch# getLibexecDir5 getLibexecDir2 eta_X2it

-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
getLibexecDir
getLibexecDir = getLibexecDir1 `cast` <Co:3>

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getSysconfDir7
getSysconfDir7 = "adtcorerep_sysconfdir"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getSysconfDir6
getSysconfDir6 = unpackCString# getSysconfDir7

-- RHS size: {terms: 23, types: 40, coercions: 8, joins: 0/0}
getSysconfDir5
getSysconfDir5
  = \ s_a2FF ->
      case ((noinline getForeignEncoding) `cast` <Co:2>) s_a2FF of
      { (# ipv_a2Nf, ipv1_a2Ng #) ->
      case charIsRepresentable3
             ipv1_a2Ng getSysconfDir6 (getEnv3 `cast` <Co:6>) ipv_a2Nf
      of
      { (# ipv2_a2Py, ipv3_a2Pz #) ->
      case ipv3_a2Pz of {
        Nothing -> getEnv2 getSysconfDir6 ipv2_a2Py;
        Just x_a2PF -> (# ipv2_a2Py, x_a2PF #)
      }
      }
      }

-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
getSysconfDir4
getSysconfDir4 = "/home/ankh/.cabal/etc"#

-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
getSysconfDir3
getSysconfDir3 = unpackCString# getSysconfDir4

-- RHS size: {terms: 18, types: 26, coercions: 4, joins: 0/0}
getSysconfDir2
getSysconfDir2
  = \ e1_a2hk eta_B1 ->
      case e1_a2hk of wild_a2EX
      { SomeException @ e2_a2F5 $dException1_a2F6 e3_a2F7 ->
      case sameTypeRep
             (($p1Exception $dException1_a2F6) `cast` <Co:4>)
             $fExceptionIOException4
      of {
        False -> raiseIO# wild_a2EX eta_B1;
        True -> (# eta_B1, getSysconfDir3 #)
      }
      }

-- RHS size: {terms: 5, types: 4, coercions: 0, joins: 0/0}
getSysconfDir1
getSysconfDir1
  = \ eta_X2iw -> catch# getSysconfDir5 getSysconfDir2 eta_X2iw

-- RHS size: {terms: 1, types: 0, coercions: 3, joins: 0/0}
getSysconfDir
getSysconfDir = getSysconfDir1 `cast` <Co:3>