Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004771OCamlOCaml generalpublic2009-04-15 16:212014-07-31 17:27
Reporterdra 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.11.0 
Target Version4.02.0+devFixed in Version4.02.0+dev 
Summary0004771: Dynlink.allow_only should call default_available_units or docs should be updated
DescriptionDynlink.allow_only filters the *current* list of units available to dynlink'd modules. This is slightly counterintuitive for subsequent calls to allow_only (e.g. in the toplevel) where one might reasonably assume that:

Dynlink.allow_only ["Pervasives"];;
(* Dynlink.loadfile a file and get an exception about module String *)
Dynlink.allow_only ["Pervasives"; "String"];;

meant that Pervasives and String are now both available when in fact only Pervasives will be.

Either allow_only should call default_available_units before filtering or the documentation should be clearer as to how the function behaves.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008088)
doligez (administrator)
2012-09-17 13:54

Fix the docs.
(0009823)
frisch (developer)
2013-07-22 12:52

It seems that the behavior is different in native code (allow_only calls init() first).
(0011957)
doligez (administrator)
2014-07-31 17:14

I've tested it and the behavior is the same in native code.
(0011958)
doligez (administrator)
2014-07-31 17:27

I have changed the documentation of allow_only to clarify this behavior (which is the intended behavior).
(fixed in 4.02, commit 15037)

- Issue History
Date Modified Username Field Change
2009-04-15 16:21 dra New Issue
2009-04-29 15:53 doligez Status new => acknowledged
2012-07-11 14:55 doligez Target Version => 4.01.0+dev
2012-07-31 13:36 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-17 13:54 doligez Note Added: 0008088
2012-09-17 13:54 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-09 17:22 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-22 12:52 frisch Note Added: 0009823
2013-07-29 15:24 doligez Target Version 4.01.0+dev => 4.01.1+dev
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-07-31 17:14 doligez Note Added: 0011957
2014-07-31 17:14 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-07-31 17:27 doligez Note Added: 0011958
2014-07-31 17:27 doligez Status acknowledged => closed
2014-07-31 17:27 doligez Resolution open => fixed
2014-07-31 17:27 doligez Fixed in Version => 4.02.0+dev
2014-07-31 17:27 doligez Target Version 4.02.1+dev => 4.02.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker