aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpacien2018-04-20 21:24:23 +0200
committerpacien2018-04-20 21:24:23 +0200
commit2e6e365262b7dc072d7ac35ff867f309e3ff784c (patch)
tree893c3a8ef32442ff07e3994ca10131adfe36a91b
parentf446b57eea34ca81ea8b8592cae9c154e455898e (diff)
downloadurm-2e6e365262b7dc072d7ac35ff867f309e3ff784c.tar.gz
Simplify imports
-rw-r--r--projet.ml6
1 files changed, 2 insertions, 4 deletions
diff --git a/projet.ml b/projet.ml
index 1de9e53..67e6221 100644
--- a/projet.ml
+++ b/projet.ml
@@ -1,6 +1,4 @@
1#load "str.cma";; 1#load "str.cma"
2
3open List
4 2
5type line = int 3type line = int
6type regidx = int 4type regidx = int
@@ -46,7 +44,7 @@ let instptr_mk urmcmd_list =
46 match urmcmd_list with 44 match urmcmd_list with
47 | [] -> acc 45 | [] -> acc
48 | instr :: tail -> aux tail (count + 1) ((count, instr) :: acc) 46 | instr :: tail -> aux tail (count + 1) ((count, instr) :: acc)
49 in InstPtr([], rev (aux urmcmd_list 0 [])) 47 in InstPtr([], List.rev (aux urmcmd_list 0 []))
50 48
51(* Moves the pointer to the previous instruction *) 49(* Moves the pointer to the previous instruction *)
52let instptr_move_up = function 50let instptr_move_up = function