summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-14 20:24:56 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-14 20:24:56 +0100
commit90ff1d0821987451b858f94f5f8e6ff85404dde1 (patch)
tree09c34d5195d095a6275dbc81fd25b1c3934efba0
parentbeb2e8c89b009a80d7edde4a6dfcff246f2ad644 (diff)
downloadpetitcaml-90ff1d0821987451b858f94f5f8e6ff85404dde1.tar.gz
petitcaml-90ff1d0821987451b858f94f5f8e6ff85404dde1.tar.bz2
[petitcaml] Fix typos in compile.ml
-rw-r--r--compile.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/compile.ml b/compile.ml
index 2ef5da0..17defbe 100644
--- a/compile.ml
+++ b/compile.ml
@@ -37,21 +37,21 @@ let new_primitive_label idents ident =
else
ident
-let rec new_string_label env =
+let rec new_jump_label env =
let label = Printf.sprintf "jump___%d" !next_jump_id
in
incr next_jump_id;
if Sset.mem label env.idents then
- new_string_label env
+ new_jump_label env
else
label
-let rec new_jump_label env =
+let rec new_string_label env =
let label = Printf.sprintf "string___%d" !next_string_id
in
incr next_string_id;
if Sset.mem label env.idents then
- new_jump_label env
+ new_string_label env
else
label