Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003959OCamlOCaml generalpublic2006-01-21 23:062013-07-24 11:51
ReporterMartin Jambon 
Assigned To 
PlatformOSOS Version
Product Version3.09.0 
Target Version4.01.1+devFixed in Version 
Summary0003959: no exit on bad #use in ocaml scripts
DescriptionThe ocaml command or a custom toplevel, when used in non-interactive mode, does not stop when it encounters a directive with a valid name but an invalid argument:

1) Valid directive name, wrong argument (should exit):

[droopy] ~/tmp % cat
#use "abc";;
print_endline "hello";;
[droopy] ~/tmp % ocaml && echo success
Cannot find file abc.

2) Wrong directive name (works as expected):

[droopy] ~/tmp % cat
#abcde "abc";;
print_endline "hello";;
[droopy] ~/tmp % ocaml && echo success
Unknown directive `abcde'.
Additional InformationThis problem is present at least in OCaml 3.08.4 and OCaml 3.09.1 (x86 Linux).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2006-01-21 23:06 Martin Jambon New Issue
2006-03-29 16:32 doligez Status new => acknowledged
2006-03-29 16:42 doligez Category Incoming => OCaml general
2012-07-11 16:46 doligez Target Version => 4.01.0+dev
2012-07-31 13:37 doligez Target Version 4.01.0+dev => 4.00.1+dev
2012-09-11 14:20 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-02 16:19 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-02 16:20 doligez Status acknowledged => confirmed
2013-07-24 11:51 doligez Target Version 4.01.0+dev => 4.01.1+dev

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker