let _ = Printexc.record_backtrace(true)
(************ DO NOT CHANGE ANY CODE HERE ***********)
Copyright By PowCoder代写加微信 assignmentchef
(**** Your code should be implemented in eval.ml ****)
(****************************************************)
(* Parse a file of Imp source code *)
let load (filename : string) : Ast.com =
try open_in filename
with Sys_error s -> failwith (“Cannot open file: ” ^ s) in
let parse : com =
try Parser.main Lexer.token (Lexing.from_channel ch)
let msg = Printexc.to_string e
and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s%s
” msg stack;
close_in ch; failwith “Cannot parse program” in
close_in ch;
(* Interpret a parsed AST with the eval_command function defined in eval.ml *)
let eval (parsed_ast : Ast.com) : environment =
let env = [] in
eval_command parsed_ast env
(*********************)
(* Testing your code *)
(*********************)
let _ = print_string (“Testing your code …
”)
let main () =
let error_count = ref 0 in
(***************************)
(**** 1. Test eval_expr ****)
(***************************)
let env1 = [(“x”, Int_Val 4); (“y”, Bool_Val false)] in
(* eval_expr (x + 4) = 8 when x = 4 in the environment *)
assert (Int_Val 8 = eval_expr (Plus ((Var “x”), (Number 4))) env1);
(* eval_expr (50 – 8) = 42 *)
assert (Int_Val 42 = eval_expr (Minus (Number 50, Number 8)) [])
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (5 * -2) = -10*)
assert (Int_Val (-10) = eval_expr (Times (Number 5, Number (-2))) []);
(* eval_expr (70 / 7) = 10 *)
assert (Int_Val 10 = eval_expr (Div (Number 70, Number 7)) []);
(* eval_expr (3 % 2) = 1 *)
assert (Int_Val 1 = eval_expr (Mod (Number 3, Number 2)) [])
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (false || y) = false when y = false in the environment *)
assert (Bool_Val false = eval_expr (Or (False, Var “y”)) env1);
(* eval_expr (false && true) = false *)
assert (Bool_Val false = eval_expr (And (False, True)) []);
(* eval_expr (not true) = false *)
assert (Bool_Val false = eval_expr (Not (True)) env1)
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (x = 10) = false when x = 4 in the environment *)
assert (Bool_Val false = eval_expr (Eq (Var “x”, Number 10)) env1);
(* eval_expr (x < 10) = true when x = 4 in the environment *)assert (Bool_Val true = eval_expr (Lt (Var “x”, Number 10)) env1);(* eval_expr (1 <= 0) = false *)assert (Bool_Val false = eval_expr (Leq (Number 1, Number 0)) [])with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr ((fun x -> x + 3) 5) = 8 *)
let e1 = Fun (“x”, Plus (Var “x”, Number 3)) in
let e2 = Number 5 in
assert (Int_Val 8 = eval_expr (App (e1, e2)) [])
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (fun z -> z – 2) ((fun x -> x + 1) 2) = 1 *)
let e1 = Fun (“x”, Plus (Var “x”, Number 1)) in
let e2 = Number 2 in
let e3 = App (e1, e2) in
let e4 = Fun (“z”, Minus (Var “z”, Number 2)) in
let e5 = App (e4, e3) in
assert (Int_Val 1 = eval_expr e5 [])
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (fun x -> fun y -> x) 2 3 =2 *)
let e1 = Fun (“x”, Fun (“y”, Var “x”)) in
let e2 = App (App (e1, Number 2), Number 3) in
assert (Int_Val 2 = eval_expr e2 [])
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(****************************)
(*** 2. Test eval_command ***)
(****************************)
let parsed_ast = load (“programs/aexp-add.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- x => 10
– y => 15
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/aexp-combined.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- w => -13
– x => 1
– y => 2
– z => 3
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/bexp-combined.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- res1 => 1
– res10 => 0
– res11 => 0
– res12 => 0
– res13 => 1
– res14 => 1
– res15 => 1
– res16 => 0
– res2 => 0
– res3 => 1
– res4 => 0
– res5 => 0
– res6 => 1
– res7 => 0
– res8 => 0
– res9 => 1
– w => 5
– x => 3
– y => 5
– z => -3
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/cond.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- n1 => 255
– n2 => -5
– res1 => 1
– res2 => 255
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/fact.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- f => 120
– n => 1
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/fib.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- f0 => 5
– f1 => 8
– k => 6
– n => 5
– res => 8
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/for.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- i => 101
– n => 101
– sum => 5151
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/palindrome.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- n => 135
– res => 1
– res2 => 0
– reverse => 123454321
– reverse2 => 531
– temp => 0
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/while.imp”) in
let result = print_env_str(eval (parsed_ast)) in
assert(result =
“- n => 0
– sum => 5050
”);
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let parsed_ast = load (“programs/lambda.imp”) in
let result = print_env_str(eval (parsed_ast)) in
“- a => 0
– b => 5
– x => 10
”
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(int result;
f := fun x -> x + 3;
result := g 5;)
“- result => 8
”
let e1 = Fun (“x”, Plus (Var “x”, Number 3)) in
let p0 = Declare (Int_Type, “result”) in
let p1 = Declare (Lambda_Type, “f”) in
let p2 = Declare (Lambda_Type, “g”) in
let p3 = Assg (“f”, e1) in
let p4 = Assg (“g”, Var “f”) in
let p5 = Assg (“result”, App (Var “g”, Number 5)) in
let p =Comp (p0, Comp (p1, Comp (p2, Comp (p3, Comp (p4, p5))))) in
let result = print_env_str(eval p) in
“- result => 8
”
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(int result;
f := (fun x -> fun y -> fun w -> w * (x + y)) 3 4;
result := f 5;)
“- result => 35
”
let e1 = Fun (“x”, Fun (“y”, Fun (“w”, Times (Var “w”, Plus (Var “x”, Var “y”))))) in
let e2 = App (App (e1, Number 3), Number 4) in
let p0 = Declare (Int_Type, “result”) in
let p1 = Declare (Lambda_Type, “f”) in
let p2 = Assg (“f”, e2) in
let p3 = Assg (“result”, App (Var “f”, Number 5)) in
let p =Comp (p0, Comp (p1, Comp (p2, p3))) in
let result = print_env_str(eval p) in
“- result => 35
”
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(int result;
f := fun x -> fun y -> x – y;
result := g 4;
“- result => -2
– x => 3
”
let e1 = Fun (“x”, Fun (“y”, Minus (Var “x”, Var “y”))) in
let e2 = App (Var “f”, Number 2) in
let p0 = Declare (Int_Type, “result”) in
let p1 = Declare (Lambda_Type, “f”) in
let p2 = Declare (Lambda_Type, “g”) in
let p3 = Assg (“f”, e1) in
let p4 = Assg (“g”, e2) in
let p5 = Declare (Int_Type, “x”) in
let p6 = Assg (“x”, Number 3) in
let p7 = Assg (“result”, App (Var “g”, Number 4)) in
let p =Comp (p0, Comp (p1, Comp (p2, Comp (p3, Comp (p4, Comp (p5, Comp (p6, p7))))))) in
let result = print_env_str(eval p) in
“- result => -2
– x => 3
”
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(int result;
f := fun f -> fun x -> f (f x);
g := fun x -> x + 3;
result := f g 5;)
“- result => 11
”
let e1 = Fun (“f”, Fun (“x”, App (Var “f”, App (Var “f”, Var “x”)))) in
let e2 = Fun (“x”, Plus (Var “x”, Number 3)) in
let p0 = Declare (Int_Type, “result”) in
let p1 = Declare (Lambda_Type, “f”) in
let p2 = Declare (Lambda_Type, “g”) in
let p3 = Assg (“f”, e1) in
let p4 = Assg (“g”, e2) in
let p5 = Assg (“result”, App (App (Var “f”, Var “g”), Number 5)) in
let p =Comp (p0, Comp (p1, Comp (p2, Comp (p3, Comp (p4, p5))))) in
let result = print_env_str(eval p) in
“- result => 11
”
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(******************************)
(*** 3. Test Error Handling ***)
(******************************)
(int result;
f := fun x -> x + 1;
result := g (fun i -> i + 1) 1;
let e1 = Fun (“x”, Plus (Var “x”, Number 1)) in
let p0 = Declare (Int_Type, “result”) in
let p1 = Declare (Lambda_Type, “f”) in
let p2 = Declare (Lambda_Type, “g”) in
let p3 = Assg (“f”, e1) in
let p4 = Assg (“g”, Var “f”) in
let p5 = Assg (“result”, App (App (Var “g”, Fun(“i”, Plus (Var “i”, Number 1))), Number 1)) in
let p =Comp (p0, Comp (p1, Comp (p2, Comp (p3, Comp (p4, p5))))) in
ignore (eval_command p []);
assert false
| TypeError -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
let env1 : environment = [(“x”, Int_Val(1)); (“p”, Bool_Val(false))] in
let env2 : environment = [(“x”, Int_Val(1)); (“p”, Bool_Val(false)); (“y”, Int_Val(6)); (“q”, Bool_Val(true))] in
(* eval_expr (1 + p) =TypeError when p = false in the environment *)
ignore(eval_expr (Plus (Number 1, Var “p”)) env1);
assert false (* this line shouldn’t be reached! *)
| TypeError -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (q && True < y) = TypeError *)ignore(eval_expr (And (Var “q”, Lt (True, Var “y”))) env2);assert false (* this line shouldn’t be reached! *)| TypeError -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (x / 0) = DivByZeroError *)
ignore(eval_expr (Div (Var “x”, Number 0)) env2);
assert false (* this line shouldn’t be reached! *)
| DivByZeroError -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
(* eval_expr (x % y) = UndefinedVar in the environment without any definition of y *)
ignore(eval_expr (Mod (Var “x”, Var “y”)) env1);
assert false (* this line shouldn’t be reached! *)
| UndefinedVar -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
while (f <= 1) {f = f * 5;n = n – 1;UndefinedVarComp(Declare (Int_Type, “f”),Comp (Assg (“n”, Number 5),Comp (Assg (“f”, Number 1),While (Leq (Var “f”, Number 1),Comp(Assg (“f”, Times (Var “f”, Number 5)), Assg (“n”, Minus (Var “n”, Number 1))))))) inignore (eval_command p []);assert false (* this line shouldn’t be reached! *)| UndefinedVar -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
while (f) {
f = f * 5;
Comp(Declare (Int_Type, “f”),
Comp (Assg (“f”, Number 1),
While (Var “f”,
Assg (“f”, Times (Var “f”, Number 5))))) in
ignore (eval_command p []);
assert false (* this line shouldn’t be reached! *)
| TypeError -> ()
| e -> assert false
with e -> (error_count := !error_count + 1;
let msg = Printexc.to_string e and stack = Printexc.get_backtrace () in
Printf.eprintf “there was an error: %s %s” msg stack) in
if !error_count = 0 thenPrintf.printf (“Passed all testcases.
”)
else Printf.printf (“%d out of 28 programming questions are incorrect.
”) (!error_count)
let _ = main()
程序代写 CS代考加微信: assignmentchef QQ: 1823890830 Email: [email protected]
Reviews
There are no reviews yet.