[r2003-05-24 08:08:41 by cvscast] Empty log message

Original author: cvscast
Date: 2003-05-24 08:08:41+00:00

README

@@ -29,12 +29,12 @@ See the INSTALL file for Installation instructions.
 
 1. CDuce command-line interpreter
 
-For performance reasons, it is advised to build it using OCaml native
-compiler (goal cduce.opt in the Makefile). 
+For performance reasons, it is advised to build it using OCaml native code
+compiler (by default in the Makefile).
 
 Usage:
 
-./cduce.opt [options] [CDuce files] -- [arguments for the CDuce program]
+cduce [options] [CDuce files] -- [arguments for the CDuce program]
 
 The arguments following the -- are passed to the CDuce program
 in the argv variable (having type [ String* ], which means: sequence

driver/cduce.ml

@@ -94,10 +94,8 @@ let rec print_exn ppf = function
   | Location.Generic s ->
       Format.fprintf ppf "%s@\n" s
   | exn ->
-      raise exn
-(*
+(*      raise exn *)
       Format.fprintf ppf "%s@\n" (Printexc.to_string exn)
-*)
 
 let debug ppf = function
   | `Subtype (t1,t2) ->

driver/run.ml

@@ -21,7 +21,7 @@ let specs =
 
 let () =
   Arg.parse specs (fun s -> src := s :: !src) 
-    "cduce [options] [script]\n\nOptions:"
+    "cduce [options] [CDuce files] -- [arguments for the CDuce program]\n\nOptions:"
 
 let ppf = 
   if !Cduce.quiet then Format.formatter_of_buffer (Buffer.create 1023)

web/manual/interpreter.xml

@@ -11,7 +11,7 @@ native code compiler. The structure of the command line is:
 </p>
 
 <sample>
-./cduce [options] [CDuce files] -- [arguments for the CDuce program]
+cduce [options] [CDuce files] -- [arguments for the CDuce program]
 </sample>
 
 <p>
@@ -47,4 +47,4 @@ the command line, the interpreter uses the standard input.  </li>
 
 </box>
 
-</page>
\ No newline at end of file
+</page>