Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004671OCamlOCaml generalpublic2008-12-14 22:252017-01-05 14:40
Assigned Todim 
PlatformOSOS Version
Product Version3.11.0+beta 
Target VersionFixed in Version 
Summary0004671: Patch to add "Rest" option to ocaml toplevel
DescriptionIt would be useful to be able to pass command line options to
libraries linked into the ocaml toplevel. Attached is a patch to add
the Arg.Rest option '--' to the ocaml toplevel and function
Toploop.get_cli_strings to get the strings after the -- option.
Additional InformationExample usage:
> ocaml -I +camlp4 -- other options
# Toploop.get_cli_strings();;
- : string list = ["other"; "options"]

Patch is against CVS head
Attached Filesgz file icon cli_args.tar.gz [^] (1,639 bytes) 2008-12-14 22:25

- Relationships

-  Notes
dim (developer)
2017-01-05 14:40

Do you have a use case for this? If all libraries see the same command line, it might not be clear how to dispatch arguments. Another way would be to allow libraries to register new command line arguments for the toplevel.

- Issue History
Date Modified Username Field Change
2008-12-14 22:25 mwahab New Issue
2008-12-14 22:25 mwahab File Added: cli_args.tar.gz
2008-12-23 13:59 doligez Status new => acknowledged
2013-09-04 18:07 doligez Tag Attached: patch
2016-12-08 12:52 shinwell Assigned To => dim
2016-12-08 12:52 shinwell Status acknowledged => assigned
2017-01-05 14:40 dim Note Added: 0017077
2017-01-05 14:40 dim Status assigned => feedback

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker