@@ -66,9 +66,8 @@ createTemporaryModule imports value =
66 importDecl m = P.ImportDeclaration m Nothing
66 importDecl m = P.ImportDeclaration m Nothing
67 traceModule = P.ModuleName (P.ProperName "Trace")
67 traceModule = P.ModuleName (P.ProperName "Trace")
68 trace = P.Var (P.Qualified (Just traceModule) (P.Ident "print"))
68 trace = P.Var (P.Qualified (Just traceModule) (P.Ident "print"))
69− returnedValue = P.App (P.Var (P.Qualified Nothing (P.Ident "return"))) value
70 mainDecl = P.ValueDeclaration (P.Ident "main") [] Nothing
69 mainDecl = P.ValueDeclaration (P.Ident "main") [] Nothing
71− (P.Do [ P.DoNotationBind (P.VarBinder (P.Ident "it")) returnedValue
70+ (P.Do [ P.DoNotationBind (P.VarBinder (P.Ident "it")) value
72 , P.DoNotationValue (P.App trace (P.Var (P.Qualified Nothing (P.Ident "it"))) )
71 , P.DoNotationValue (P.App trace (P.Var (P.Qualified Nothing (P.Ident "it"))) )