Browse thread
camlzip fails on a good (but large) file
- Sam Steingold
[
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: | Sam Steingold <sds@g...> |
| Subject: | camlzip fails on a good (but large) file |
I have a large .gz file (2264083417 bytes) which "gzip -t" report is valid.
trying to read it using camlzip results in
Fatal error: exception Gzip.Error("bad magic number, not a gzip file")
this is probably caused by integer overflow.
camlzip we have came with godi:
(* $Id: gzip.mli,v 1.2 2002/02/18 09:12:13 xleroy Exp $ *)
is this a known problem?
Sam