diff options
author | pacien | 2018-04-22 22:39:56 +0200 |
---|---|---|
committer | pacien | 2018-04-22 22:39:56 +0200 |
commit | 0027c7b647e1b345badbb01bcafd22feee075470 (patch) | |
tree | 8cf72c45c517b20c1adfe4eba25f8b3358115282 /reg.ml | |
parent | db9de5bc717be46f0ca2dc1aa975c75adca6264d (diff) | |
download | urm-0027c7b647e1b345badbb01bcafd22feee075470.tar.gz |
Implement program execution from command line
Diffstat (limited to 'reg.ml')
-rw-r--r-- | reg.ml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -8,6 +8,7 @@ open Common | |||
8 | let reg_idx (Reg(idx, _)) = idx | 8 | let reg_idx (Reg(idx, _)) = idx |
9 | let reg_val (Reg(_, value)) = value | 9 | let reg_val (Reg(_, value)) = value |
10 | let reg_compar l r = (reg_val l) - (reg_val r) | 10 | let reg_compar l r = (reg_val l) - (reg_val r) |
11 | let reg_string (Reg (index, value)) = (string_of_int index) ^ ": " ^ (string_of_int value) | ||
11 | 12 | ||
12 | let regs_get reglist index = | 13 | let regs_get reglist index = |
13 | List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val | 14 | List.find (fun (Reg(idx, _)) -> idx = index) reglist |> reg_val |
@@ -15,3 +16,5 @@ let regs_get reglist index = | |||
15 | let regs_set reglist index value = | 16 | let regs_set reglist index value = |
16 | Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist | 17 | Reg(index, value) :: List.filter (fun (Reg(idx, _)) -> idx != index) reglist |
17 | 18 | ||
19 | let rec regs_string reglist = List.map (reg_string) reglist |> String.concat ", " | ||
20 | |||