[programs in tests/examples are now evaluated mail@stefanwehr.de**20050606020117] { hunk ./Interpreter.hs 73 -dataSpec = (LeftAssoc, 1) - hunk ./Interpreter.hs 77 +pprExp exp = + if length (show $ ppr exp) < 1000 + then ppr exp + else text "some_expression" + hunk ./Interpreter.hs 88 - foldl (\x1 x2 -> pprInfixOp prec dataSpec x1 space x2) - (ppr did) vs + parens `usedWhen` (prec > minPrec && not (null vs)) $ + hsep (ppr did : map (pprPrec maxPrec) vs) hunk ./Interpreter.hs 93 - text " ppr e <> text ">" + text " pprExp e <> text ">" hunk ./Interpreter.hs 97 - text "<" <> dumpMap env $$ - nest 4 (pprList " " params <+> text "->" <+> ppr exp) $$ - text ">" + text " (pprList " " params) <+> text "->" + <+> pprExp exp <> text ">" hunk ./Interpreter.hs 131 +forceAllThunks clos@(ClosVal _) = return clos hunk ./Lexer.x 113 -minhs :- +phrac :- hunk ./Lexer.x 132 - { \p s -> T p (CharT (head s)) } + { \p s -> T p (CharT (s!!1)) } hunk ./Pretty.hs 66 -instance Pretty Doc where pprPrec _ = id +instance Pretty Doc where + pprPrec _ = id hunk ./Pretty.hs 113 + hunk ./Pretty.hs 115 --- hunk ./tests/examples/Flag 1 ---dump-infer --dont-run +--dump-infer hunk ./tests/examples/HList.out 3 -list3 :: HCons Int (HCons Bool (HCons (Int, Int) (HCons Bool (HCons (Int -> Int) HNil)))) +main :: HCons Int (HCons Bool (HCons (Int, Int) (HCons Bool (HCons (Int -> Int) HNil)))) +HCons[1] 42 (HCons[1] True (HCons[1] (Pair 1 0) (HCons[1] False (HCons[1] x[3] + 1> HNil[1])))) hunk ./tests/examples/HList.phc 27 -list3 = hAppend list1 list2; +main = hAppend list1 list2; hunk ./tests/examples/Printf.out 3 +main :: List Char +"Int: 42, Char: S." hunk ./tests/examples/Printf.phc 35 +main = sprintf formatSpec 42 'S'; + hunk ./tests/examples/TypeSaveEvaluator.out 2 -bar :: Int -foobar :: Int +main :: Int +42 hunk ./tests/examples/TypeSaveEvaluator.phc 59 -bar = foo (Lit (-1)); -foobar = bar + 1; +main = foo (Lit (-1)); hunk ./tests/interpreter/should_pass/005.out 1 -Cons 1 ((Cons 2) ((Cons 3) ((Cons 4) ((Cons 5) Nil)))) +Cons 1 (Cons 2 (Cons 3 (Cons 4 (Cons 5 Nil)))) hunk ./tests/interpreter/should_pass/006.out 1 -Cons 1 ((Cons 2) ((Cons 3) Nil)) +Cons 1 (Cons 2 (Cons 3 Nil)) addfile ./tests/interpreter/should_pass/008.out hunk ./tests/interpreter/should_pass/008.out 1 +'S' addfile ./tests/interpreter/should_pass/008.phc hunk ./tests/interpreter/should_pass/008.phc 1 +main = 'S'; }