aboutsummaryrefslogtreecommitdiff
path: root/src/eurm.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/eurm.ml')
-rw-r--r--src/eurm.ml6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/eurm.ml b/src/eurm.ml
index c571384..7d6c2c6 100644
--- a/src/eurm.ml
+++ b/src/eurm.ml
@@ -11,12 +11,12 @@ let compile_stage2 eurmcmds state = eurmcmds, state
11let compile_stage3 eurmcmds state = eurmcmds, state 11let compile_stage3 eurmcmds state = eurmcmds, state
12let compile_stage4 eurmcmds state = [URMZero(0)], state 12let compile_stage4 eurmcmds state = [URMZero(0)], state
13 13
14let urm_from_eurm = 14let urm_from_eurm eurmcmds =
15 let chain transform (eurmcmds, compile_state) = transform eurmcmds compile_state 15 let chain transform (eurmcmds, compile_state) = transform eurmcmds compile_state
16 and initial_state = 0 16 and initial_state = 0
17 in (compile_preprocess, initial_state) 17 in (compile_preprocess eurmcmds, initial_state)
18 |> chain compile_stage1 18 |> chain compile_stage1
19 |> chain compile_stage2 19 |> chain compile_stage2
20 |> chain compile_stage3 20 |> chain compile_stage3
21 |> chain compile_stage4 21 |> chain compile_stage4
22 22 |> fst