[added missing files in tests/examples
mail@stefanwehr.de**20050526082443] {
addfile ./tests/examples/Flag
hunk ./tests/examples/Flag 1
+--dump-infer
addfile ./tests/examples/HList.out
addfile ./tests/examples/TypeSaveEvaluator.out
hunk ./tests/examples/TypeSaveEvaluator.out 1
+foo :: forall v[-2] . Result v[-2] = Int, Eval v[-2] => v[-2] -> Result (If (IsZero (Succ v[-2])) (Lit Int) v[-2])
+bar :: Result (If (IsZero (Succ (Lit Int))) (Lit Int) (Lit Int))
+foobar :: Int
}