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: 6802 Reporter: erwan Status: closed (set by @xavierleroy on 2017-02-16T14:18:32Z) Resolution: fixed Priority: normal Severity: minor Platform: amd32,amd64 OS: debian OS Version: wheezy Version: 4.02.1 Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: runtime system and C interface Has duplicate:#6108
Bug description
unix and nums can not be Dynlinked together from a toplevel
I doubt the problem is related to unix and/or num, rather to the fact that Dynlink is not supported in the toplevel (as far as I know). Or can you provide an example that fails to dynlink unix and nums from a standalone program (not a toplevel)?
Original bug ID: 6802
Reporter: erwan
Status: closed (set by @xavierleroy on 2017-02-16T14:18:32Z)
Resolution: fixed
Priority: normal
Severity: minor
Platform: amd32,amd64
OS: debian
OS Version: wheezy
Version: 4.02.1
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: runtime system and C interface
Has duplicate: #6108
Bug description
unix and nums can not be Dynlinked together from a toplevel
Raises
Exception: Assert_failure ("bytecomp/dll.ml", 110, 4)
Steps to reproduce
ocaml
#use "topfind";;
#require "dynlink";;
#require "unix";; (* works without this #require )
Dynlink.allow_unsafe_modules true;; ( nums requires this *)
Dynlink.loadfile "./.opam/4.02.1+PIC/lib/ocaml/nums.cma";;
Additional information
tried also on 4.00.0, and 3.12.0
I've initially mentioned this as a note there:
#6108
But I'm unsure it's actually related.
The text was updated successfully, but these errors were encountered: