diff options
Diffstat (limited to 'src/eurm.ml')
-rw-r--r-- | src/eurm.ml | 6 |
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 | |||
11 | let compile_stage3 eurmcmds state = eurmcmds, state | 11 | let compile_stage3 eurmcmds state = eurmcmds, state |
12 | let compile_stage4 eurmcmds state = [URMZero(0)], state | 12 | let compile_stage4 eurmcmds state = [URMZero(0)], state |
13 | 13 | ||
14 | let urm_from_eurm = | 14 | let 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 | |