Skip to content

Instantly share code, notes, and snippets.

@bgamari

bgamari/after.hs

Created March 2, 2017 23:17
Show Gist options
  • Save bgamari/be8f1c733e2fc78f959c2e5e296c2776 to your computer and use it in GitHub Desktop.
Save bgamari/be8f1c733e2fc78f959c2e5e296c2776 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
after.hs
==================== Tidy Core ====================
2017-03-02 22:54:13.906807681 UTC
Result size of Tidy Core = {terms: 909, types: 1,015, coercions: 0}
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program289 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program289 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program288 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program288 = GHC.CString.unpackCString# Test.program289
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program287 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program287 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program286 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program286 = GHC.CString.unpackCString# Test.program287
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program285 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program285 = "b"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program284 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program284 = GHC.CString.unpackCString# Test.program285
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program283 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program283 =
GHC.Types.: @ [Char] Test.program284 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program282 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program282 =
GHC.Types.: @ [Char] Test.program286 Test.program283
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program281 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program281 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program280 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program280 = GHC.CString.unpackCString# Test.program281
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program279 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program279 = "-"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program278 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program278 = GHC.CString.unpackCString# Test.program279
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program277 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program277 = LambdaLift.CFun Test.program278
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program276 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program276 = LambdaLift.EConst @ [Char] Test.program277
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program275 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program275 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program274 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program274 = GHC.CString.unpackCString# Test.program275
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program273 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program273 = LambdaLift.CFun Test.program274
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program272 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program272 = LambdaLift.EConst @ [Char] Test.program273
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program271 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program271 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program270 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program270 = GHC.CString.unpackCString# Test.program271
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program269 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program269 = LambdaLift.EVar @ [Char] Test.program270
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program268 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program268 =
LambdaLift.EAp @ [Char] Test.program272 Test.program269
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program267 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program267 = "b"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program266 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program266 = GHC.CString.unpackCString# Test.program267
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program265 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program265 = LambdaLift.EVar @ [Char] Test.program266
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program264 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program264 =
LambdaLift.EAp @ [Char] Test.program268 Test.program265
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program263 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program263 =
LambdaLift.EAp @ [Char] Test.program276 Test.program264
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program262 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program262 = 20
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program261 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program261 = LambdaLift.CNum Test.program262
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program260 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program260 = LambdaLift.EConst @ [Char] Test.program261
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program259 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program259 =
LambdaLift.EAp @ [Char] Test.program263 Test.program260
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program258 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program258 = (Test.program280, Test.program259)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program257 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program257 =
GHC.Types.:
@ (Defn [Char]) Test.program258 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program256 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program256 = "m"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program255 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program255 = GHC.CString.unpackCString# Test.program256
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program254 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program254 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program253 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program253 = GHC.CString.unpackCString# Test.program254
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program252 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program252 = "q"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program251 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program251 = GHC.CString.unpackCString# Test.program252
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program250 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program250 =
GHC.Types.: @ [Char] Test.program251 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program249 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program249 =
GHC.Types.: @ [Char] Test.program253 Test.program250
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program248 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program248 = "g"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program247 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program247 = GHC.CString.unpackCString# Test.program248
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program246 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program246 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program245 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program245 = GHC.CString.unpackCString# Test.program246
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program244 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program244 = LambdaLift.CFun Test.program245
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program243 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program243 = LambdaLift.EConst @ [Char] Test.program244
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program242 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program242 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program241 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program241 = GHC.CString.unpackCString# Test.program242
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program240 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program240 = LambdaLift.EVar @ [Char] Test.program241
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program239 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program239 =
LambdaLift.EAp @ [Char] Test.program243 Test.program240
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program4 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program4 = 6
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program3 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program3 = LambdaLift.CNum Test.program4
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program2 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program2 = LambdaLift.EConst @ [Char] Test.program3
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program238 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program238 =
LambdaLift.EAp @ [Char] Test.program239 Test.program2
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program237 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program237 = (Test.program247, Test.program238)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program236 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program236 =
GHC.Types.:
@ (Defn [Char]) Test.program237 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program235 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program235 = "d"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program234 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program234 = GHC.CString.unpackCString# Test.program235
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program233 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program233 = "pp"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program232 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program232 = GHC.CString.unpackCString# Test.program233
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program231 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program231 =
GHC.Types.: @ [Char] Test.program232 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program230 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program230 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program229 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program229 = GHC.CString.unpackCString# Test.program230
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program228 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program228 = LambdaLift.CFun Test.program229
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program227 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program227 = LambdaLift.EConst @ [Char] Test.program228
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program226 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program226 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program225 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program225 = GHC.CString.unpackCString# Test.program226
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program224 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program224 = LambdaLift.CFun Test.program225
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program223 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program223 = LambdaLift.EConst @ [Char] Test.program224
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program222 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program222 = "pp"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program221 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program221 = GHC.CString.unpackCString# Test.program222
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program220 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program220 = LambdaLift.EVar @ [Char] Test.program221
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program219 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program219 =
LambdaLift.EAp @ [Char] Test.program223 Test.program220
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program218 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program218 = "q"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program217 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program217 = GHC.CString.unpackCString# Test.program218
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program216 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program216 = LambdaLift.EVar @ [Char] Test.program217
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program215 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program215 =
LambdaLift.EAp @ [Char] Test.program219 Test.program216
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program214 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program214 =
LambdaLift.EAp @ [Char] Test.program227 Test.program215
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program213 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program213 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program212 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program212 = GHC.CString.unpackCString# Test.program213
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program211 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program211 = LambdaLift.EVar @ [Char] Test.program212
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program210 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program210 =
LambdaLift.EAp @ [Char] Test.program214 Test.program211
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program209 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program209 =
LambdaLift.ELam @ [Char] Test.program231 Test.program210
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program208 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program208 = (Test.program234, Test.program209)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program207 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program207 =
GHC.Types.:
@ (Defn [Char]) Test.program208 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program206 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program206 = "c"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program205 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program205 = GHC.CString.unpackCString# Test.program206
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program204 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program204 = "q"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program203 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program203 = GHC.CString.unpackCString# Test.program204
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program202 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program202 =
GHC.Types.: @ [Char] Test.program203 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program201 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program201 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program200 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program200 = GHC.CString.unpackCString# Test.program201
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program199 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program199 = LambdaLift.CFun Test.program200
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program198 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program198 = LambdaLift.EConst @ [Char] Test.program199
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program197 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program197 = "-"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program196 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program196 = GHC.CString.unpackCString# Test.program197
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program195 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program195 = LambdaLift.CFun Test.program196
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program194 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program194 = LambdaLift.EConst @ [Char] Test.program195
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program193 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program193 = "q"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program192 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program192 = GHC.CString.unpackCString# Test.program193
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program191 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program191 = LambdaLift.EVar @ [Char] Test.program192
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program190 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program190 =
LambdaLift.EAp @ [Char] Test.program194 Test.program191
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program189 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program189 = "g"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program188 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program188 = GHC.CString.unpackCString# Test.program189
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program187 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program187 = LambdaLift.EVar @ [Char] Test.program188
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program186 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program186 =
LambdaLift.EAp @ [Char] Test.program190 Test.program187
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program185 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program185 =
LambdaLift.EAp @ [Char] Test.program198 Test.program186
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program184 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program184 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program183 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program183 = GHC.CString.unpackCString# Test.program184
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program182 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program182 = LambdaLift.EVar @ [Char] Test.program183
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program181 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program181 =
LambdaLift.EAp @ [Char] Test.program185 Test.program182
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program180 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program180 =
LambdaLift.ELam @ [Char] Test.program202 Test.program181
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program179 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program179 = (Test.program205, Test.program180)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program178 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program178 =
GHC.Types.:
@ (Defn [Char]) Test.program179 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program177 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program177 = "-"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program176 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program176 = GHC.CString.unpackCString# Test.program177
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program175 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program175 = LambdaLift.CFun Test.program176
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program174 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program174 = LambdaLift.EConst @ [Char] Test.program175
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program173 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program173 = "-"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program172 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program172 = GHC.CString.unpackCString# Test.program173
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program171 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program171 = LambdaLift.CFun Test.program172
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program170 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program170 = LambdaLift.EConst @ [Char] Test.program171
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program169 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program169 = "d"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program168 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program168 = GHC.CString.unpackCString# Test.program169
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program167 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program167 = LambdaLift.EVar @ [Char] Test.program168
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program166 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program166 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program165 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program165 = GHC.CString.unpackCString# Test.program166
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program164 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program164 = LambdaLift.CFun Test.program165
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program163 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program163 = LambdaLift.EConst @ [Char] Test.program164
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program49 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program49 = 1
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program48 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program48 = LambdaLift.CNum Test.program49
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program47 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program47 = LambdaLift.EConst @ [Char] Test.program48
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program162 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program162 =
LambdaLift.EAp @ [Char] Test.program163 Test.program47
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program161 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program161 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program160 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program160 = GHC.CString.unpackCString# Test.program161
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program159 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program159 = LambdaLift.EVar @ [Char] Test.program160
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program158 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program158 =
LambdaLift.EAp @ [Char] Test.program162 Test.program159
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program157 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program157 =
LambdaLift.EAp @ [Char] Test.program167 Test.program158
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program156 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program156 =
LambdaLift.EAp @ [Char] Test.program170 Test.program157
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program155 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program155 = "c"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program154 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program154 = GHC.CString.unpackCString# Test.program155
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program153 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program153 = LambdaLift.EVar @ [Char] Test.program154
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program152 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program152 = "-"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program151 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program151 = GHC.CString.unpackCString# Test.program152
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program150 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program150 = LambdaLift.CFun Test.program151
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program149 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program149 = LambdaLift.EConst @ [Char] Test.program150
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program148 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program148 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program147 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program147 = GHC.CString.unpackCString# Test.program148
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program146 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program146 = LambdaLift.EVar @ [Char] Test.program147
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program145 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program145 =
LambdaLift.EAp @ [Char] Test.program149 Test.program146
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program144 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program144 = "b"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program143 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program143 = GHC.CString.unpackCString# Test.program144
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program142 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program142 = LambdaLift.EVar @ [Char] Test.program143
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program141 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program141 =
LambdaLift.EAp @ [Char] Test.program145 Test.program142
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program140 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program140 =
LambdaLift.EAp @ [Char] Test.program153 Test.program141
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program139 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program139 =
LambdaLift.EAp @ [Char] Test.program156 Test.program140
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program138 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program138 =
LambdaLift.EAp @ [Char] Test.program174 Test.program139
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program137 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program137 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program136 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program136 = GHC.CString.unpackCString# Test.program137
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program135 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program135 = LambdaLift.EVar @ [Char] Test.program136
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program134 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program134 =
LambdaLift.EAp @ [Char] Test.program138 Test.program135
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program133 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program133 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program178 Test.program134
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program132 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program132 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program207 Test.program133
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program131 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program131 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program236 Test.program132
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program130 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program130 =
LambdaLift.ELam @ [Char] Test.program249 Test.program131
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program129 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program129 = (Test.program255, Test.program130)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program128 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program128 =
GHC.Types.:
@ (Defn [Char]) Test.program129 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program127 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program127 = "f"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program126 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program126 = GHC.CString.unpackCString# Test.program127
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program125 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program125 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program124 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program124 = GHC.CString.unpackCString# Test.program125
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program123 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program123 = "b"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program122 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program122 = GHC.CString.unpackCString# Test.program123
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program121 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program121 =
GHC.Types.: @ [Char] Test.program122 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program120 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program120 =
GHC.Types.: @ [Char] Test.program124 Test.program121
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program119 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program119 = "g"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program118 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program118 = GHC.CString.unpackCString# Test.program119
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program117 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program117 = LambdaLift.EVar @ [Char] Test.program118
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program116 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program116 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program115 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program115 = GHC.CString.unpackCString# Test.program116
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program114 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program114 = LambdaLift.EVar @ [Char] Test.program115
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program113 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program113 =
LambdaLift.EAp @ [Char] Test.program117 Test.program114
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program112 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program112 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program111 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program111 = GHC.CString.unpackCString# Test.program112
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program110 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program110 = LambdaLift.CFun Test.program111
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program109 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program109 = LambdaLift.EConst @ [Char] Test.program110
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program108 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program108 = "b"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program107 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program107 = GHC.CString.unpackCString# Test.program108
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program106 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program106 = LambdaLift.EVar @ [Char] Test.program107
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program105 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program105 =
LambdaLift.EAp @ [Char] Test.program109 Test.program106
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program104 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program104 =
LambdaLift.EAp @ [Char] Test.program105 Test.program47
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program103 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program103 =
LambdaLift.EAp @ [Char] Test.program113 Test.program104
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program102 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program102 =
LambdaLift.ELam @ [Char] Test.program120 Test.program103
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program101 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program101 = (Test.program126, Test.program102)
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program100 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program100 = "g"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program99 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program99 = GHC.CString.unpackCString# Test.program100
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program98 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program98 = "x"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program97 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program97 = GHC.CString.unpackCString# Test.program98
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program96 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program96 = "y"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program95 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program95 = GHC.CString.unpackCString# Test.program96
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program94 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program94 =
GHC.Types.: @ [Char] Test.program95 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program93 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program93 = GHC.Types.: @ [Char] Test.program97 Test.program94
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program92 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program92 = "f"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program91 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program91 = GHC.CString.unpackCString# Test.program92
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program90 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program90 = LambdaLift.EVar @ [Char] Test.program91
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program89 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program89 = "x"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program88 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program88 = GHC.CString.unpackCString# Test.program89
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program87 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program87 = LambdaLift.EVar @ [Char] Test.program88
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program86 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program86 =
LambdaLift.EAp @ [Char] Test.program90 Test.program87
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program85 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program85 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program84 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program84 = GHC.CString.unpackCString# Test.program85
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program83 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program83 = LambdaLift.CFun Test.program84
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program82 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program82 = LambdaLift.EConst @ [Char] Test.program83
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program81 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program81 = "y"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program80 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program80 = GHC.CString.unpackCString# Test.program81
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program79 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program79 = LambdaLift.EVar @ [Char] Test.program80
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program78 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program78 =
LambdaLift.EAp @ [Char] Test.program82 Test.program79
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program77 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program77 = "b"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program76 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program76 = GHC.CString.unpackCString# Test.program77
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program75 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program75 = LambdaLift.EVar @ [Char] Test.program76
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program74 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program74 =
LambdaLift.EAp @ [Char] Test.program78 Test.program75
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program73 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program73 =
LambdaLift.EAp @ [Char] Test.program86 Test.program74
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program72 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program72 =
LambdaLift.ELam @ [Char] Test.program93 Test.program73
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program71 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program71 = (Test.program99, Test.program72)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program70 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program70 =
GHC.Types.:
@ (Defn [Char]) Test.program71 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 3, types: 3, coercions: 0}
Test.program69 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program69 =
GHC.Types.: @ (Defn [Char]) Test.program101 Test.program70
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program68 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program68 = "h"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program67 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program67 = GHC.CString.unpackCString# Test.program68
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program66 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program66 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program65 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program65 = GHC.CString.unpackCString# Test.program66
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program64 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program64 = "n"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program63 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program63 = GHC.CString.unpackCString# Test.program64
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program62 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program62 =
GHC.Types.: @ [Char] Test.program63 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program61 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program61 = GHC.Types.: @ [Char] Test.program65 Test.program62
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program60 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program60 = "m"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program59 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program59 = GHC.CString.unpackCString# Test.program60
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program58 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program58 = LambdaLift.EVar @ [Char] Test.program59
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program57 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program57 = "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program56 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program56 = GHC.CString.unpackCString# Test.program57
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program55 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program55 = LambdaLift.CFun Test.program56
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program54 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program54 = LambdaLift.EConst @ [Char] Test.program55
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program53 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program53 = "n"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program52 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program52 = GHC.CString.unpackCString# Test.program53
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program51 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program51 = LambdaLift.EVar @ [Char] Test.program52
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program50 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program50 =
LambdaLift.EAp @ [Char] Test.program54 Test.program51
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program46 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program46 =
LambdaLift.EAp @ [Char] Test.program50 Test.program47
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program45 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program45 =
LambdaLift.EAp @ [Char] Test.program58 Test.program46
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program44 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program44 = "f"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program43 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program43 = GHC.CString.unpackCString# Test.program44
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program42 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program42 = LambdaLift.EVar @ [Char] Test.program43
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program41 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program41 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program40 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program40 = GHC.CString.unpackCString# Test.program41
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program39 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program39 = LambdaLift.EVar @ [Char] Test.program40
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program38 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program38 =
LambdaLift.EAp @ [Char] Test.program42 Test.program39
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program37 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program37 = "n"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program36 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program36 = GHC.CString.unpackCString# Test.program37
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program35 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program35 = LambdaLift.EVar @ [Char] Test.program36
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program34 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program34 =
LambdaLift.EAp @ [Char] Test.program38 Test.program35
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program33 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program33 =
LambdaLift.EAp @ [Char] Test.program45 Test.program34
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program32 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program32 =
LambdaLift.ELam @ [Char] Test.program61 Test.program33
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program31 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program31 = (Test.program67, Test.program32)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program30 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program30 =
GHC.Types.:
@ (Defn [Char]) Test.program31 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program29 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program29 = "h"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program28 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program28 = GHC.CString.unpackCString# Test.program29
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program27 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program27 = LambdaLift.EVar @ [Char] Test.program28
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program26 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program26 = "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program25 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program25 = GHC.CString.unpackCString# Test.program26
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program24 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program24 = LambdaLift.EVar @ [Char] Test.program25
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program23 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program23 =
LambdaLift.EAp @ [Char] Test.program27 Test.program24
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program22 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program22 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program21 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program21 = GHC.CString.unpackCString# Test.program22
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program20 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program20 = LambdaLift.EVar @ [Char] Test.program21
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program19 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program19 =
LambdaLift.EAp @ [Char] Test.program23 Test.program20
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program18 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program18 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program30 Test.program19
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program17 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program17 =
LambdaLift.ELet
@ [Char] GHC.Types.True Test.program69 Test.program18
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program16 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program16 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program128 Test.program17
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program15 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program15 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program257 Test.program16
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program14 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program14 =
LambdaLift.ELam @ [Char] Test.program282 Test.program15
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program13 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program13 = (Test.program288, Test.program14)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program12 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program12 =
GHC.Types.:
@ (Defn [Char]) Test.program13 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program11 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.program11 = "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program10 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 20 0}]
Test.program10 = GHC.CString.unpackCString# Test.program11
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program9 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program9 = LambdaLift.EVar @ [Char] Test.program10
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program8 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program8 = 5
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program7 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program7 = LambdaLift.CNum Test.program8
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program6 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program6 = LambdaLift.EConst @ [Char] Test.program7
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program5 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program5 = LambdaLift.EAp @ [Char] Test.program9 Test.program6
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program1 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program1 = LambdaLift.EAp @ [Char] Test.program5 Test.program2
-- RHS size: {terms: 4, types: 2, coercions: 0}
program :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
program =
LambdaLift.ELet
@ [Char] GHC.Types.True Test.program12 Test.program1
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.$trModule4 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.$trModule3 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.$trModule3 = GHC.Types.TrNameS Test.$trModule4
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.$trModule2 :: GHC.Prim.Addr#
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}]
Test.$trModule2 = "Test"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.$trModule1 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.$trModule1 = GHC.Types.TrNameS Test.$trModule2
-- RHS size: {terms: 3, types: 0, coercions: 0}
Test.$trModule :: GHC.Types.Module
[GblId,
Caf=NoCafRefs,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.$trModule = GHC.Types.Module Test.$trModule3 Test.$trModule1
Raw
before.hs
==================== Tidy Core ====================
2017-03-02 22:54:14.922859186 UTC
Result size of Tidy Core = {terms: 484, types: 666, coercions: 0}
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program10 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program10 = GHC.CString.unpackCString# "p"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program21 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program21 = GHC.CString.unpackCString# "a"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program54 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program54 = GHC.CString.unpackCString# "b"#
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program72 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program72 =
GHC.Types.: @ [Char] Test.program54 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program71 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program71 = GHC.Types.: @ [Char] Test.program21 Test.program72
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program87 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program87 = GHC.CString.unpackCString# "-"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program86 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program86 = LambdaLift.CFun Test.program87
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program85 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program85 = LambdaLift.EConst @ [Char] Test.program86
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program42 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program42 = GHC.CString.unpackCString# "+"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program41 :: Constant
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program41 = LambdaLift.CFun Test.program42
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program40 :: Expr [Char]
[GblId,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program40 = LambdaLift.EConst @ [Char] Test.program41
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program20 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program20 = LambdaLift.EVar @ [Char] Test.program21
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program119 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program119 =
LambdaLift.EAp @ [Char] Test.program40 Test.program20
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program53 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program53 = LambdaLift.EVar @ [Char] Test.program54
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program128 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program128 =
LambdaLift.EAp @ [Char] Test.program119 Test.program53
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program127 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program127 =
LambdaLift.EAp @ [Char] Test.program85 Test.program128
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program126 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program126 = 20
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program125 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program125 = LambdaLift.CNum Test.program126
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program124 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program124 = LambdaLift.EConst @ [Char] Test.program125
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program123 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program123 =
LambdaLift.EAp @ [Char] Test.program127 Test.program124
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program122 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program122 = (Test.program10, Test.program123)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program121 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program121 =
GHC.Types.:
@ (Defn [Char]) Test.program122 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program44 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program44 = GHC.CString.unpackCString# "m"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program104 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program104 = GHC.CString.unpackCString# "q"#
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program105 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program105 =
GHC.Types.: @ [Char] Test.program104 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program120 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program120 =
GHC.Types.: @ [Char] Test.program10 Test.program105
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program63 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program63 = GHC.CString.unpackCString# "g"#
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program4 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program4 = 6
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program3 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program3 = LambdaLift.CNum Test.program4
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program2 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program2 = LambdaLift.EConst @ [Char] Test.program3
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program118 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program118 =
LambdaLift.EAp @ [Char] Test.program119 Test.program2
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program117 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program117 = (Test.program63, Test.program118)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program116 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program116 =
GHC.Types.:
@ (Defn [Char]) Test.program117 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program95 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program95 = GHC.CString.unpackCString# "d"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program114 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program114 = GHC.CString.unpackCString# "pp"#
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program115 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program115 =
GHC.Types.: @ [Char] Test.program114 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program113 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program113 = LambdaLift.EVar @ [Char] Test.program114
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program112 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program112 =
LambdaLift.EAp @ [Char] Test.program40 Test.program113
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program103 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program103 = LambdaLift.EVar @ [Char] Test.program104
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program111 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program111 =
LambdaLift.EAp @ [Char] Test.program112 Test.program103
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program110 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program110 =
LambdaLift.EAp @ [Char] Test.program40 Test.program111
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program9 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program9 = LambdaLift.EVar @ [Char] Test.program10
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program109 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program109 =
LambdaLift.EAp @ [Char] Test.program110 Test.program9
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program108 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program108 =
LambdaLift.ELam @ [Char] Test.program115 Test.program109
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program107 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program107 = (Test.program95, Test.program108)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program106 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program106 =
GHC.Types.:
@ (Defn [Char]) Test.program107 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program89 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program89 = GHC.CString.unpackCString# "c"#
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program102 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program102 =
LambdaLift.EAp @ [Char] Test.program85 Test.program103
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program70 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program70 = LambdaLift.EVar @ [Char] Test.program63
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program101 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program101 =
LambdaLift.EAp @ [Char] Test.program102 Test.program70
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program100 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program100 =
LambdaLift.EAp @ [Char] Test.program40 Test.program101
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program99 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program99 =
LambdaLift.EAp @ [Char] Test.program100 Test.program20
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program98 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program98 =
LambdaLift.ELam @ [Char] Test.program105 Test.program99
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program97 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program97 = (Test.program89, Test.program98)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program96 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program96 =
GHC.Types.:
@ (Defn [Char]) Test.program97 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program94 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program94 = LambdaLift.EVar @ [Char] Test.program95
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program38 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program38 = 1
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program37 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program37 = LambdaLift.CNum Test.program38
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program36 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program36 = LambdaLift.EConst @ [Char] Test.program37
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program93 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program93 =
LambdaLift.EAp @ [Char] Test.program40 Test.program36
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program92 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program92 =
LambdaLift.EAp @ [Char] Test.program93 Test.program20
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program91 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program91 =
LambdaLift.EAp @ [Char] Test.program94 Test.program92
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program90 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program90 =
LambdaLift.EAp @ [Char] Test.program85 Test.program91
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program88 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program88 = LambdaLift.EVar @ [Char] Test.program89
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program84 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program84 =
LambdaLift.EAp @ [Char] Test.program85 Test.program20
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program83 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program83 =
LambdaLift.EAp @ [Char] Test.program84 Test.program53
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program82 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program82 =
LambdaLift.EAp @ [Char] Test.program88 Test.program83
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program81 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program81 =
LambdaLift.EAp @ [Char] Test.program90 Test.program82
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program80 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program80 =
LambdaLift.EAp @ [Char] Test.program85 Test.program81
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program79 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program79 =
LambdaLift.EAp @ [Char] Test.program80 Test.program9
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program78 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program78 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program96 Test.program79
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program77 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program77 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program106 Test.program78
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program76 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program76 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program116 Test.program77
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program75 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program75 =
LambdaLift.ELam @ [Char] Test.program120 Test.program76
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program74 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program74 = (Test.program44, Test.program75)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program73 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program73 =
GHC.Types.:
@ (Defn [Char]) Test.program74 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program33 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program33 = GHC.CString.unpackCString# "f"#
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program69 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program69 =
LambdaLift.EAp @ [Char] Test.program70 Test.program20
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program68 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program68 =
LambdaLift.EAp @ [Char] Test.program40 Test.program53
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program67 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program67 =
LambdaLift.EAp @ [Char] Test.program68 Test.program36
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program66 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program66 =
LambdaLift.EAp @ [Char] Test.program69 Test.program67
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program65 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program65 =
LambdaLift.ELam @ [Char] Test.program71 Test.program66
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program64 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program64 = (Test.program33, Test.program65)
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program60 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program60 = GHC.CString.unpackCString# "x"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program57 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program57 = GHC.CString.unpackCString# "y"#
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program62 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program62 =
GHC.Types.: @ [Char] Test.program57 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program61 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program61 = GHC.Types.: @ [Char] Test.program60 Test.program62
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program32 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program32 = LambdaLift.EVar @ [Char] Test.program33
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program59 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program59 = LambdaLift.EVar @ [Char] Test.program60
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program58 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program58 =
LambdaLift.EAp @ [Char] Test.program32 Test.program59
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program56 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program56 = LambdaLift.EVar @ [Char] Test.program57
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program55 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program55 =
LambdaLift.EAp @ [Char] Test.program40 Test.program56
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program52 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program52 =
LambdaLift.EAp @ [Char] Test.program55 Test.program53
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program51 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program51 =
LambdaLift.EAp @ [Char] Test.program58 Test.program52
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program50 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program50 =
LambdaLift.ELam @ [Char] Test.program61 Test.program51
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program49 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program49 = (Test.program63, Test.program50)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program48 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program48 =
GHC.Types.:
@ (Defn [Char]) Test.program49 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 3, types: 3, coercions: 0}
Test.program47 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program47 =
GHC.Types.: @ (Defn [Char]) Test.program64 Test.program48
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program23 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program23 = GHC.CString.unpackCString# "h"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program30 :: [Char]
[GblId,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False,
WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 0}]
Test.program30 = GHC.CString.unpackCString# "n"#
-- RHS size: {terms: 3, types: 4, coercions: 0}
Test.program46 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program46 =
GHC.Types.: @ [Char] Test.program30 (GHC.Types.[] @ [Char])
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program45 :: [[Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program45 = GHC.Types.: @ [Char] Test.program21 Test.program46
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program43 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program43 = LambdaLift.EVar @ [Char] Test.program44
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program29 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program29 = LambdaLift.EVar @ [Char] Test.program30
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program39 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program39 =
LambdaLift.EAp @ [Char] Test.program40 Test.program29
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program35 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program35 =
LambdaLift.EAp @ [Char] Test.program39 Test.program36
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program34 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program34 =
LambdaLift.EAp @ [Char] Test.program43 Test.program35
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program31 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program31 =
LambdaLift.EAp @ [Char] Test.program32 Test.program20
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program28 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program28 =
LambdaLift.EAp @ [Char] Test.program31 Test.program29
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program27 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program27 =
LambdaLift.EAp @ [Char] Test.program34 Test.program28
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program26 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program26 =
LambdaLift.ELam @ [Char] Test.program45 Test.program27
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program25 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program25 = (Test.program23, Test.program26)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program24 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program24 =
GHC.Types.:
@ (Defn [Char]) Test.program25 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program22 :: Expr [Char]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program22 = LambdaLift.EVar @ [Char] Test.program23
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program19 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program19 =
LambdaLift.EAp @ [Char] Test.program22 Test.program20
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program18 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program18 =
LambdaLift.EAp @ [Char] Test.program19 Test.program9
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program17 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program17 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program24 Test.program18
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program16 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program16 =
LambdaLift.ELet
@ [Char] GHC.Types.True Test.program47 Test.program17
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program15 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program15 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program73 Test.program16
-- RHS size: {terms: 4, types: 2, coercions: 0}
Test.program14 :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
Test.program14 =
LambdaLift.ELet
@ [Char] GHC.Types.False Test.program121 Test.program15
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program13 :: Expr [Char]
[GblId,
Str=m4,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program13 =
LambdaLift.ELam @ [Char] Test.program71 Test.program14
-- RHS size: {terms: 3, types: 5, coercions: 0}
Test.program12 :: ([Char], Expr [Char])
[GblId,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program12 = (Test.program10, Test.program13)
-- RHS size: {terms: 3, types: 6, coercions: 0}
Test.program11 :: [Defn [Char]]
[GblId,
Str=m2,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program11 =
GHC.Types.:
@ (Defn [Char]) Test.program12 (GHC.Types.[] @ (Defn [Char]))
-- RHS size: {terms: 1, types: 0, coercions: 0}
Test.program8 :: Integer
[GblId,
Caf=NoCafRefs,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 100 0}]
Test.program8 = 5
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.program7 :: Constant
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program7 = LambdaLift.CNum Test.program8
-- RHS size: {terms: 2, types: 2, coercions: 0}
Test.program6 :: Expr [Char]
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}]
Test.program6 = LambdaLift.EConst @ [Char] Test.program7
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program5 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program5 = LambdaLift.EAp @ [Char] Test.program9 Test.program6
-- RHS size: {terms: 3, types: 2, coercions: 0}
Test.program1 :: Expr [Char]
[GblId,
Str=m3,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.program1 = LambdaLift.EAp @ [Char] Test.program5 Test.program2
-- RHS size: {terms: 4, types: 2, coercions: 0}
program :: Expr [Char]
[GblId,
Str=m5,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 40}]
program =
LambdaLift.ELet
@ [Char] GHC.Types.True Test.program11 Test.program1
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.$trModule2 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
Test.$trModule2 = GHC.Types.TrNameS "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0}
Test.$trModule1 :: GHC.Types.TrName
[GblId,
Caf=NoCafRefs,
Str=m1,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 20}]
Test.$trModule1 = GHC.Types.TrNameS "Test"#
-- RHS size: {terms: 3, types: 0, coercions: 0}
Test.$trModule :: GHC.Types.Module
[GblId,
Caf=NoCafRefs,
Str=m,
Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True,
WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}]
Test.$trModule = GHC.Types.Module Test.$trModule2 Test.$trModule1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment