[Git][monnier/typer][main] test/env_tests.ml: Adjust to last change
Stefan pushed to branch main at Stefan / Typer Commits: 6ea6caae by Stefan Monnier at 2023-07-18T20:03:41-04:00 test/env_tests.ml: Adjust to last change - - - - - 1 changed file: - tests/env_test.ml Changes: ===================================== tests/env_test.ml ===================================== @@ -42,11 +42,11 @@ let _ = (add_test "ENV" "Set Variables" (fun () -> if 10 <= (!global_verbose_lvl) then ( let var = [ - ((dsinfo, Some "a"), DB.type_int, (make_val "a")); - ((dsinfo, Some "b"), DB.type_int, (make_val "b")); - ((dsinfo, Some "c"), DB.type_int, (make_val "c")); - ((dsinfo, Some "d"), DB.type_int, (make_val "d")); - ((dsinfo, Some "e"), DB.type_int, (make_val "e")); + ((dsinfo, Some "a"), DB.type_integer, (make_val "a")); + ((dsinfo, Some "b"), DB.type_integer, (make_val "b")); + ((dsinfo, Some "c"), DB.type_integer, (make_val "c")); + ((dsinfo, Some "d"), DB.type_integer, (make_val "d")); + ((dsinfo, Some "e"), DB.type_integer, (make_val "e")); ] in let n = (List.length var) - 1 in @@ -71,15 +71,15 @@ let _ = (add_test "ENV" "Value Printer" (fun () -> let open Lexp in let exps = [((Vint 42), (mkArrow (dsinfo, Aerasable, (dsinfo, Some "l"), - DB.type_interval, DB.type_int)), + DB.type_interval, DB.type_integer)), "(lambda _ ≡> 42)"); ((Vbuiltin "Eq.eq"), (mkCall (dsinfo, DB.type_eq, [Aerasable, mkVar ((dsinfo, None), 2); - Aerasable, DB.type_int; + Aerasable, DB.type_integer; Anormal, mkVar ((dsinfo, Some "x"), 0); Anormal, mkVar ((dsinfo, Some "y"), 0)])), - "x = y [ ##Int ]")] in + "x = y [ ##Integer ]")] in (* This test assumes that success = 0 and failure = -1 *) List.fold_left (fun res (v, ltype, expected) View it on GitLab: https://gitlab.com/monnier/typer/-/commit/6ea6caae3d7a7e7619ade47cbc8fc58c13... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/6ea6caae3d7a7e7619ade47cbc8fc58c13... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan (@monnier)