Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
unix and nums can not be Dynlinked together (Assert_failure in bytecomp/dll.ml) #6802
Original bug ID: 6802
unix and nums can not be Dynlinked together from a toplevel
Steps to reproduce
tried also on 4.00.0, and 3.12.0
I've initially mentioned this as a note there:
But I'm unsure it's actually related.
Comment author: @alainfrisch
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)?
Comment author: erwan
No (well, I do, but with programs that use Topmain, so I guess it does not count :).
I didn't know Dynlink was not officially supported in the toplevel, thanks for the info.
How should I know that BTW? Anyway it looks very close to work.