summaryrefslogtreecommitdiffstats
path: root/stdlib/parsing.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2014-08-22 13:45:02 +0000
committerDamien Doligez <damien.doligez-inria.fr>2014-08-22 13:45:02 +0000
commitcbfe627f925ab2bab93bae7a7bc9f6ee6afb8637 (patch)
treeaf5ec283ac3175b1ab95dd745dbd05f2298b9da6 /stdlib/parsing.ml
parent09ad9c1abbe6bee443a55379223280dab3de4749 (diff)
merge changes from branch 4.02 from branching (rev 14852) to 4.02.0+rc1 (rev 15121)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15125 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/parsing.ml')
-rw-r--r--stdlib/parsing.ml16
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml
index 762128244..47e151e1b 100644
--- a/stdlib/parsing.ml
+++ b/stdlib/parsing.ml
@@ -84,10 +84,10 @@ external set_trace: bool -> bool
= "caml_set_parser_trace"
let env =
- { s_stack = Array.create 100 0;
- v_stack = Array.create 100 (Obj.repr ());
- symb_start_stack = Array.create 100 dummy_pos;
- symb_end_stack = Array.create 100 dummy_pos;
+ { s_stack = Array.make 100 0;
+ v_stack = Array.make 100 (Obj.repr ());
+ symb_start_stack = Array.make 100 dummy_pos;
+ symb_end_stack = Array.make 100 dummy_pos;
stacksize = 100;
stackbase = 0;
curr_char = 0;
@@ -104,10 +104,10 @@ let env =
let grow_stacks() =
let oldsize = env.stacksize in
let newsize = oldsize * 2 in
- let new_s = Array.create newsize 0
- and new_v = Array.create newsize (Obj.repr ())
- and new_start = Array.create newsize dummy_pos
- and new_end = Array.create newsize dummy_pos in
+ let new_s = Array.make newsize 0
+ and new_v = Array.make newsize (Obj.repr ())
+ and new_start = Array.make newsize dummy_pos
+ and new_end = Array.make newsize dummy_pos in
Array.blit env.s_stack 0 new_s 0 oldsize;
env.s_stack <- new_s;
Array.blit env.v_stack 0 new_v 0 oldsize;