diff options
Diffstat (limited to 'projet.ml')
-rw-r--r-- | projet.ml | 6 |
1 files changed, 2 insertions, 4 deletions
@@ -1,6 +1,4 @@ | |||
1 | #load "str.cma";; | 1 | #load "str.cma" |
2 | |||
3 | open List | ||
4 | 2 | ||
5 | type line = int | 3 | type line = int |
6 | type regidx = int | 4 | type 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 *) |
52 | let instptr_move_up = function | 50 | let instptr_move_up = function |