Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006335OCamltoplevelpublic2014-03-04 15:162017-03-01 15:35
Assigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006335: Provide an option to ocamlmktop to continue after top-level exception
DescriptionLet's say I have have run my program to discover a run time error:

$ ./test
Fatal error: exception Invalid_argument("Utility.take")

I build a custom ocaml top-level by default, as many people do. So, I want to play with some of the functions interactively to find my error:

$ ./
Fatal error: exception Invalid_argument("Utility.take")

But I never get to a prompt, so I cannot experiment, without getting the program into a fully functioning state!

I suggest "ocamlmktop -continue" to build a runtime which would produce:

feast:text john$ ./
Fatal error: exception Invalid_argument("Utility.take")
        OCaml version 4.01.0


The awkwardness, I suppose, is that if an exception is raised in the initialisation of one module, later modules won't be initialised - is that the problem?
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-03-04 15:16 johnwhitington New Issue
2014-07-16 15:31 doligez Status new => acknowledged
2017-02-23 16:36 doligez Category OCaml general => -OCaml general
2017-03-01 15:35 doligez Category -OCaml general => toplevel

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker