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: 4568 Reporter:@glondu Assigned to: ertai Status: closed (set by @xavierleroy on 2010-04-29T12:31:16Z) Resolution: fixed Priority: normal Severity: tweak Version: 3.10.2 Fixed in version: 3.11+dev Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Bug description
Hello,
The archive camlp4lib.cma seems embed dynlink modules:
$ ocamlobjinfo /usr/lib/ocaml/3.10.2/camlp4/camlp4lib.cma|grep Unit
Unit name: Dynlinkaux
Unit name: Dynlink
Unit name: Camlp4_import
Unit name: Camlp4_config
Unit name: Camlp4
$ ocamlobjinfo /usr/lib/ocaml/3.10.2/dynlink.cma|grep Unit
Unit name: Dynlinkaux
Unit name: Dynlink
This results in duplication of these modules in projects which use independently dynlink.cma and camlp4lib.cma.
Is there a good reason for this choice?
The text was updated successfully, but these errors were encountered:
Meanwhile, I've seen situations where linking the same module twice may result in trouble (namely, uncatchable exceptions). This problem still exists in OCaml 3.11.0+beta1. Is it planned to fix it?
Original bug ID: 4568
Reporter: @glondu
Assigned to: ertai
Status: closed (set by @xavierleroy on 2010-04-29T12:31:16Z)
Resolution: fixed
Priority: normal
Severity: tweak
Version: 3.10.2
Fixed in version: 3.11+dev
Category: -for Camlp4 use https://github.com/ocaml/camlp4/issues
Bug description
Hello,
The archive camlp4lib.cma seems embed dynlink modules:
$ ocamlobjinfo /usr/lib/ocaml/3.10.2/camlp4/camlp4lib.cma|grep Unit
Unit name: Dynlinkaux
Unit name: Dynlink
Unit name: Camlp4_import
Unit name: Camlp4_config
Unit name: Camlp4
$ ocamlobjinfo /usr/lib/ocaml/3.10.2/dynlink.cma|grep Unit
Unit name: Dynlinkaux
Unit name: Dynlink
This results in duplication of these modules in projects which use independently dynlink.cma and camlp4lib.cma.
Is there a good reason for this choice?
The text was updated successfully, but these errors were encountered: