Original bug ID: 568
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: -for CamlIDL use https://github.com/xavierleroy/camlidl/issues

Bug description

Full_Name: erwan jahier
Version: 3.01
OS: SunOS cougourde 5.7 Generic_106541-04 sun4u sparc SUNW,Ultra-5_10
Submission from: arpont.imag.fr (129.88.43.46)

Hi,

I try to install camlidl v1.02 withcaml 3.01 and I run into the following pb:

[Well, I have just realized that the problem disappear with ocaml 3.02 instead
of
3.01. I still submit the bug report just in case. If it is noise, sorry about
that.]

$ make all
make[1]: Entering directory /home/incoming/jahier/camlidl-1.02/compiler' ocamlc -g -c funct.ml File "funct.ml", line 195, characters 70-76: This variable is bound several times in this matching make[1]: *** [funct.cmo] Error 2 make[1]: Leaving directory /home/incoming/jahier/camlidl-1.02/compiler'
make: *** [all] Error 2

Indeed, in File "funct.ml", line 195, characters 70-76, we have:

(* Initialize dependent parameters that are pointers so that they
point to suitable storage *)
List.iter
(function (name, (In|InOut),
(Type_pointer(, ty_arg) | Type_const(Type_pointer(, ty_arg))
^^^^^^ ^^^^^^
))
when is_dependent_parameter name fundecl.fun_params ->
let c = new_c_variable ty_arg in
iprintf pc "%s = &%s;\n" name c
| _ -> ())
fundecl.fun_params;