[Caml-list] Re: Stricter version of #use ?

2009-03-25 Thread Zheng Li
Hi John, On 3/25/2009 1:14 AM, Harrison, John R wrote: So with my "root.ml" and "branch.ml" files from the first message, it all works exactly as I wanted, a nice early failure with a clear "traceback": # #use "root.ml";; val x : int = 1 val u : int = 3 Exception: Failure "X". Er

[Caml-list] RE: Stricter version of #use ?

2009-03-24 Thread Harrison, John R
Hi Zheng, | You may try the following code snippet. It's not a total solution | but an ad-hoc workaround. It only deals with recursive "#use" like | in your example (e.g., "#load" operation inside a "#use" script | will still behave the same as before), though it's not difficult | to adapt the oth

[Caml-list] Re: Stricter version of #use ?

2009-03-24 Thread Zheng Li
Hi, On 3/24/2009 7:00 PM, Harrison, John R wrote: Then I want the following to stop immediately on the failure inside "branch.ml" and hence not evaluate the "y = 2" line in "root.ml" as it currently does: Objective Caml version 3.10.0 # #use "root.ml";; val x : int = 1 val