Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005720OCamlOCaml generalpublic2012-08-06 11:352012-09-27 13:12
Reporterdoligez 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionno change required 
PlatformOSOS Version
Product Version4.00.0 
Target Version4.00.1+devFixed in Version 
Summary0005720: #load_rec fails on camlp4o.cma
DescriptionIn the toplevel,
   #load_rec "camlp4o.cma"
fails in the same way as "#load" (Error: Reference to undefined global `Dynlink').
The documentation says it should load dynlink.cma, then camlp4o.cma.
TagsNo tags attached.
Attached Files

- Relationships
child of 0005712confirmed some documentation problems 

-  Notes
(0007905)
glondu (reporter)
2012-08-06 17:26

The documentation (and comments in 0005411) say that it works only with .cmo dependencies.
(0007918)
frisch (developer)
2012-08-06 18:39

Indeed, the toplevel has no way to know that the Dynlink unit is to be found in the dynlink.cma library.

- Issue History
Date Modified Username Field Change
2012-08-06 11:35 doligez New Issue
2012-08-06 11:35 doligez Relationship added child of 0005712
2012-08-06 11:35 doligez Assigned To => doligez
2012-08-06 11:35 doligez Status new => confirmed
2012-08-06 17:26 glondu Note Added: 0007905
2012-08-06 18:39 frisch Note Added: 0007918
2012-09-27 13:12 doligez Assigned To doligez =>
2012-09-27 13:12 doligez Status confirmed => resolved
2012-09-27 13:12 doligez Resolution open => no change required


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker