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
f8f01058
Commit
f8f01058
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2002-10-20 20:01:53 by cvscast] Empty log message
Original author: cvscast Date: 2002-10-20 20:01:53+00:00
parent
ee13504e
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
f8f01058
DEBUG
=
-g
OCAMLC
=
ocamlc
p
-p
a
OCAMLC
=
ocamlc
PARSER
=
parser/location.cmo parser/ast.cmo parser/parser.cmo
...
...
driver/cduce.ml
View file @
f8f01058
open
Location
open
Sys
exception
Usage
of
unit
exception
Usage
let
()
=
List
.
iter
...
...
@@ -8,10 +7,13 @@ let () =
Builtin
.
types
let
input
=
if
Array
.
length
argv
=
1
then
(
Stream
.
of_channel
stdin
)
else
if
(
Array
.
length
argv
>
2
)
or
not
(
file_exists
(
Array
.
get
argv
1
))
then
raise
(
Usage
()
)
else
(
Stream
.
of_channel
(
open_in
(
Array
.
get
argv
1
)))
let
input_channel
=
match
Array
.
length
Sys
.
argv
with
|
1
->
stdin
|
2
->
open_in
Sys
.
argv
.
(
1
)
|
_
->
raise
Usage
let
input
=
Stream
.
of_channel
input_channel
let
ppf
=
Format
.
std_formatter
let
prog
()
=
...
...
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