Original bug ID: 1928
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Guillaume Marceau
Version: 3.07+2
OS: Gentoo Linux
Submission from: 128.148.206.106 (128.148.206.106)

The ocamlcp pretty-printer uses the arr.(0) syntax sugar to access Array.get and
Array.set. Unfortunatly, this breaks when the source code redirected the sugar
to some other module than the standard Array, for intance, to extLib's
DynArray.

gmarceau@canuk cytometry $ cat test.ml
module Array = DynArray

let foo i = match i with _ -> (DynArray.create ()).(0)

gmarceau@canuk cytometry $ ocamlc -I ~/lib/ocaml-extlib/ extLib.cma test.ml

gmarceau@canuk cytometry $ ocamlcp -I ~/lib/ocaml-extlib/ extLib.cma test.ml
File "/tmp/camlpp51563a", line 3, characters 31-53:
This expression has type int array but is here used with type
'a Array.t = 'a DynArray.t