You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 423 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
There seems to be a pb when including a module and then redefining an ident.
Here are 3 ml source files and a makefile that show the bug. Strangely, the
bug only shows up when using ocamlopt and separate compilation.
--- file defaults.ml ---
let f () = prerr_endline "Defaults.f called";;
--- file redef.ml ---
include Defaults;;
let f () = prerr_endline "Redef.f called";;
There seems to be a pb when including a module and then redefining an ident.
Here are 3 ml source files and a makefile that show the bug. Strangely, the
bug only shows up when using ocamlopt and separate compilation.
C'est en effet un bug lié à un manque d'alpha-conversion dans certains
cas. C'est corrigé dans la version de travail. Merci de l'avoir mis
en évidence et signalé.
Original bug ID: 423
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Claude Marché
Version: 3.01
OS: Debian GNU/Linux
Submission from: serveur-demons.lri.fr (129.175.8.130)
There seems to be a pb when including a module and then redefining an ident.
Here are 3 ml source files and a makefile that show the bug. Strangely, the
bug only shows up when using ocamlopt and separate compilation.
--- file defaults.ml ---
let f () = prerr_endline "Defaults.f called";;
--- file redef.ml ---
include Defaults;;
let f () = prerr_endline "Redef.f called";;
--- file main.ml ---
Redef.f ();;
--- Makefile ---
main1:
ocamlc -o main1 defaults.ml redef.ml main.ml
main2:
ocamlc -c defaults.ml
ocamlc -c redef.ml
ocamlc -c main.ml
ocamlc -o main2 defaults.cmo redef.cmo main.cmo
main3:
ocamlopt -o main3 defaults.ml redef.ml main.ml
main4:
ocamlopt -c defaults.ml
ocamlopt -c redef.ml
ocamlopt -c main.ml
ocamlopt -o main4 defaults.cmx redef.cmx main.cmx
clean:
rm -f .cm *.o main[1-4]
--- results ---
The text was updated successfully, but these errors were encountered: