Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
2e9c4d65
Commit
2e9c4d65
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2003-05-24 08:08:41 by cvscast] Empty log message
Original author: cvscast Date: 2003-05-24 08:08:41+00:00
parent
d890640f
Changes
4
Hide whitespace changes
Inline
Side-by-side
README
View file @
2e9c4d65
...
...
@@ -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.op
t in the Makefile).
For performance reasons, it is advised to build it using OCaml native
code
compiler (
by defaul
t 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
View file @
2e9c4d65
...
...
@@ -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
View file @
2e9c4d65
...
...
@@ -21,7 +21,7 @@ let specs =
let
()
=
Arg
.
parse
specs
(
fun
s
->
src
:=
s
::
!
src
)
"cduce [options] [
script
]
\n\n
Options:"
"cduce [options] [
CDuce files] -- [arguments for the CDuce program
]
\n\n
Options:"
let
ppf
=
if
!
Cduce
.
quiet
then
Format
.
formatter_of_buffer
(
Buffer
.
create
1023
)
...
...
web/manual/interpreter.xml
View file @
2e9c4d65
...
...
@@ -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>
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment