[TESTS][EVAL] Add some tests

fc7f9e8b · Julien Lopez · 8b2c480e · fc7f9e8b · fc7f9e8b · fc7f9e8b
Commit fc7f9e8b authored Mar 31, 2014 by Julien Lopez
--- a/tests/eval/TODO
+++ b/tests/eval/TODO
@@ -2,7 +2,9 @@ Syntax:
 	- "_" as a keyword (?)

 Eval:
-	- Solve the evaluation problems
+	- Solve the evaluation problems:
+	  - branches type
+	  - make test

 Tests:
 	- Update tests to check the evaluation of CDuce (depends on Eval above)
--- a/tests/eval/tests/eval/refs/apply_simple.ref
+++ b/tests/eval/tests/eval/refs/apply_simple.ref
+2
--- a/tests/eval/tests/eval/refs/apply_simple.res
+++ b/tests/eval/tests/eval/refs/apply_simple.res
+0
--- a/tests/eval/tests/eval/refs/let_medium.ref
+++ b/tests/eval/tests/eval/refs/let_medium.ref
+5
--- a/tests/eval/tests/eval/refs/let_medium.res
+++ b/tests/eval/tests/eval/refs/let_medium.res
+0
--- a/tests/eval/tests/eval/refs/let_nested_simple.ref
+++ b/tests/eval/tests/eval/refs/let_nested_simple.ref
+2
--- a/tests/eval/tests/eval/refs/let_nested_simple.res
+++ b/tests/eval/tests/eval/refs/let_nested_simple.res
+0
--- a/tests/eval/tests/eval/tests/apply_simple.test
+++ b/tests/eval/tests/eval/tests/apply_simple.test
+(fun f x -> x).2
--- a/tests/eval/tests/eval/tests/let_medium.test
+++ b/tests/eval/tests/eval/tests/let_medium.test
+let x = 5 in (fun f y -> x).2
--- a/tests/eval/tests/eval/tests/let_nested_simple.test
+++ b/tests/eval/tests/eval/tests/let_nested_simple.test
+let x = 2 in let y = x in y
--- a/tests/eval/tests/eval/tests/let_simple.test
+++ b/tests/eval/tests/eval/tests/let_simple.test
-let x = 2 in 2
+let x = 2 in x