Browse thread
possible bug in DynArray module of ExtLib
- Dário_Abdulrehman
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Dário_Abdulrehman <dario.rehman@g...> |
| Subject: | possible bug in DynArray module of ExtLib |
The first of the following functions causes a "Fatal error: exception
Out_of_memory", while the second works fine.
This error seems to occur when creating large arrays past 2 million and
something entries.
Anyone noticed this error?
Thanks.
let test_dynarray1 () =
let a = DynArray.create () in
for i = 1 to 2817131 do
DynArray.add a i
done
let test_dynarray2 () =
let a = DynArray.make 2817131 in
for i = 1 to 2817131 do
DynArray.add a i
done
--
Dário Abdulrehman