Stefan pushed to branch master at Stefan / Typer
Commits: 1da5866c by Stefan Monnier at 2016-11-09T16:10:48-05:00 * tests/eval_test.ml ("Argument Reordering"): Remove case that we don't want to handle, add case that we want to handle (but that fails now).
- - - - -
1 changed file:
- tests/eval_test.ml
Changes:
===================================== tests/eval_test.ml ===================================== --- a/tests/eval_test.ml +++ b/tests/eval_test.ml @@ -326,12 +326,13 @@ let _ = test_eval_eqv_named lambda (z : Int) -> x * y + z;"
"fun (x := 3) 2 1; - fun 2 1 (x := 3); + %% fun (x := 3) (z := 1) 2; fun (z := 3) (y := 2) (x := 1); fun (z := 1) (y := 2) (x := 3); fun (x := 3) (y := 2) (z := 1);"
- "7; 7; 5; 7; 7" + "7; %% 7; + 5; 7; 7"
let _ = test_eval_eqv_named
View it on GitLab: https://gitlab.com/monnier/typer/commit/1da5866c028f2e291202707233118edb05a6...
Afficher les réponses par date