aboutsummaryrefslogtreecommitdiff
path: root/eurm.ml
diff options
context:
space:
mode:
Diffstat (limited to 'eurm.ml')
-rw-r--r--eurm.ml22
1 files changed, 22 insertions, 0 deletions
diff --git a/eurm.ml b/eurm.ml
new file mode 100644
index 0000000..c571384
--- /dev/null
+++ b/eurm.ml
@@ -0,0 +1,22 @@
1(*
2 * UPEM / L3 / Functional programming / Project: URM
3 * Pacien TRAN-GIRARD, Adam NAILI
4 *)
5
6open Common
7
8let compile_preprocess eurmcmds = eurmcmds
9let compile_stage1 eurmcmds state = eurmcmds, state
10let compile_stage2 eurmcmds state = eurmcmds, state
11let compile_stage3 eurmcmds state = eurmcmds, state
12let compile_stage4 eurmcmds state = [URMZero(0)], state
13
14let urm_from_eurm =
15 let chain transform (eurmcmds, compile_state) = transform eurmcmds compile_state
16 and initial_state = 0
17 in (compile_preprocess, initial_state)
18 |> chain compile_stage1
19 |> chain compile_stage2
20 |> chain compile_stage3
21 |> chain compile_stage4
22