diff options
author | pacien | 2018-04-20 21:24:23 +0200 |
---|---|---|
committer | pacien | 2018-04-20 21:24:23 +0200 |
commit | 2e6e365262b7dc072d7ac35ff867f309e3ff784c (patch) | |
tree | 893c3a8ef32442ff07e3994ca10131adfe36a91b | |
parent | f446b57eea34ca81ea8b8592cae9c154e455898e (diff) | |
download | urm-2e6e365262b7dc072d7ac35ff867f309e3ff784c.tar.gz |
Simplify imports
-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 |