Skip to content

U
uva
Commit 17f971db authored by Taddeus Kroes's avatar Taddeus Kroes
Browse files
Options

funclang series5: Source code cleanup.

parent b98b9952
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
funclang-taddeus/series5/test.ml
View file @ 17f971db
......@@ -75,11 +75,11 @@ test_freevars "a, b, c" ass1b;;
test_eval "-5" (BinopAp (Sub, Num 4, Num 9));;
test_eval "false" (BinopAp (Lt, Num 6, Num 5));;
test_eval "true" (BinopAp (Or, Bool true, Bool false));;
test_eval "fun u -> fun w -> fun a -> a" ass1a;;
test_eval "(a (b c))" ass1b;;
test_eval "c + b" (Let ("a", Var "c", (BinopAp (Add, Var "a", Var "b"))));;
test_eval "a" (Cond (Bool true, Var "a", Var "b"));;
test_eval "b" (Cond (Bool false, Var "a", Var "b"));;
test_eval "fun u -> fun w -> fun a -> a" ass1a;;
test_eval "(a (b c))" ass1b;;
(* Test resolving of name clash *)
let x = Var "x" in
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment