elvis/lci
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Better formatting

Browse Source
This commit is contained in:
elvis
2024-10-08 19:06:35 +02:00
parent 670ffbe47b
commit 0704cb9c72
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/miniImp.ml
View File

@ -49,7 +49,10 @@ Random.self_init ()
let rec evaluate (mem: memory) (command: c_exp) = let rec evaluate (mem: memory) (command: c_exp) =
match command with match command with
Skip -> mem Skip -> mem
| Assignment (v, exp_a) -> {assignments = VariableMap.add v (evaluate_a mem exp_a) mem.assignments} | Assignment (v, exp_a) -> {
(* Map.add replaces the previeus value *)
assignments = VariableMap.add v (evaluate_a mem exp_a) mem.assignments
}
| Sequence (exp_c1, exp_c2) -> ( | Sequence (exp_c1, exp_c2) -> (
let mem2 = evaluate mem exp_c1 in let mem2 = evaluate mem exp_c1 in
evaluate mem2 exp_c2 evaluate mem2 exp_c2