Skip to content

Instantly share code, notes, and snippets.

@chrisdone

chrisdone/demo.hs Secret

Created November 30, 2018 11:04
Show Gist options
  • Save chrisdone/771292425a9f1bb428ef4eda3779dc40 to your computer and use it in GitHub Desktop.
Save chrisdone/771292425a9f1bb428ef4eda3779dc40 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
demo.hs
whnfExp: CaseE (CaseE (AppE (AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}))) (AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 123)))) (Id {idStableName = "main:Main.ds", idUnique = Unique 7205759403792794823, idCategory = ValCat}) (Typ "()") [Alt {altCon = DEFAULT, altVars = [], altExp = VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat})}]) (Id {idStableName = "main:Main.ds", idUnique = Unique 7205759403792794827, idCategory = ValCat}) (Typ "IO ()") [Alt {altCon = DEFAULT, altVars = [], altExp = AppE (AppE (AppE (AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))) (VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}))) (TypE (Typ "()"))) (VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat}))}]
whnfCase: CaseE (AppE (AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}))) (AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 123)))) (Id {idStableName = "main:Main.ds", idUnique = Unique 7205759403792794823, idCategory = ValCat}) (Typ "()") [Alt {altCon = DEFAULT, altVars = [], altExp = VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat})}]
whnfExp: CaseE (AppE (AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}))) (AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 123)))) (Id {idStableName = "main:Main.ds", idUnique = Unique 7205759403792794823, idCategory = ValCat}) (Typ "()") [Alt {altCon = DEFAULT, altVars = [], altExp = VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat})}]
whnfCase: AppE (AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}))) (AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 123)))
whnfExp: AppE (AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}))) (AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 123)))
whnfApp: AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat})) AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 123))
whnfExp: AppE (AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}))
whnfApp: AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int")) VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat})
whnfExp: AppE (VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})) (TypE (Typ "Int"))
whnfApp: VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat}) TypE (Typ "Int")
whnfExp: VarE (Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat})
whnfId: Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat}
whnfMethod: Id {idStableName = "main:Main.foo", idUnique = Unique 8214565720323784707, idCategory = ValCat}
whnfExp: VarE (Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat})
whnfId: Id {idStableName = "main:Main.$fWiggleInt", idUnique = Unique 8214565720323784705, idCategory = ValCat}
whnfExp: AppE (AppE (AppE (VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$cfoo", idUnique = Unique 6989586621679010971, idCategory = ValCat}))) (VarE (Id {idStableName = "main:Main.$cbar", idUnique = Unique 6989586621679010975, idCategory = ValCat}))
whnfApp: AppE (AppE (VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$cfoo", idUnique = Unique 6989586621679010971, idCategory = ValCat})) VarE (Id {idStableName = "main:Main.$cbar", idUnique = Unique 6989586621679010975, idCategory = ValCat})
whnfExp: AppE (AppE (VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat})) (TypE (Typ "Int"))) (VarE (Id {idStableName = "main:Main.$cfoo", idUnique = Unique 6989586621679010971, idCategory = ValCat}))
whnfApp: AppE (VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat})) (TypE (Typ "Int")) VarE (Id {idStableName = "main:Main.$cfoo", idUnique = Unique 6989586621679010971, idCategory = ValCat})
whnfExp: AppE (VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat})) (TypE (Typ "Int"))
whnfApp: VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat}) TypE (Typ "Int")
whnfExp: VarE (Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat})
whnfId: Id {idStableName = "main:Main.C:Wiggle", idUnique = Unique 8214565720323785205, idCategory = ClassCat}
whnfExp: VarE (Id {idStableName = "main:Main.$cfoo", idUnique = Unique 6989586621679010971, idCategory = ValCat})
whnfId: Id {idStableName = "main:Main.$cfoo", idUnique = Unique 6989586621679010971, idCategory = ValCat}
whnfExp: LamE (Id {idStableName = "main:Main.x", idUnique = Unique 6989586621679010751, idCategory = ValCat}) (AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 0)))
whnfExp: AppE (VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})) (LitE (Int 0))
whnfApp: VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat}) LitE (Int 0)
whnfExp: VarE (Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat})
whnfId: Id {idStableName = "ghc-prim:GHC.Types.I#", idUnique = Unique 3891110078048108563, idCategory = DataCat}
whnfExp: VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat})
whnfId: Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat}
whnfExp: AppE (AppE (AppE (AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))) (VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}))) (TypE (Typ "()"))) (VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat}))
whnfApp: AppE (AppE (AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))) (VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}))) (TypE (Typ "()")) VarE (Id {idStableName = "ghc-prim:GHC.Tuple.()", idUnique = Unique 3963167672086036481, idCategory = ValCat})
whnfExp: AppE (AppE (AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))) (VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}))) (TypE (Typ "()"))
whnfApp: AppE (AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))) (VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat})) TypE (Typ "()")
whnfExp: AppE (AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))) (VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}))
whnfApp: AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO")) VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat})
whnfExp: AppE (VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})) (TypE (Typ "IO"))
whnfApp: VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat}) TypE (Typ "IO")
whnfExp: VarE (Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat})
whnfId: Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat}
whnfMethod: Id {idStableName = "base:GHC.Base.pure", idUnique = Unique 3458764513820541680, idCategory = ValCat}
whnfExp: VarE (Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat})
whnfId: Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}
prana: Not in scope: Id {idStableName = "base:GHC.Base.$fApplicativeIO", idUnique = Unique 8214565720323784738, idCategory = ValCat}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment