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
c20932f0
Commit
c20932f0
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-06-25 12:37:19 by afrisch] Another lowercase issue
Original author: afrisch Date: 2004-06-25 12:37:20+00:00
parent
bb845caa
Changes
4
Hide whitespace changes
Inline
Side-by-side
Makefile.distrib
View file @
c20932f0
...
...
@@ -110,7 +110,10 @@ install: all
ifneq
($(ML_INTERFACE), false)
install_cdml
:
ocamlfind
install
cduce META cdml.
$(EXTENSION_LIB)
cdo2cmo/cdml.cmi cDuce_all.cmi oCaml_all.
$(EXTENSION_LIB)
oCaml_all.cmi
$(OCAMLFIND)
install
cduce META
\
cdml.
$(EXTENSION_LIB)
cdo2cmo/cdml.cmi
\
cDuce_all.cmi oCaml_all.
$(EXTENSION_LIB)
\
$(
wildcard
*
.a
)
oCaml_all.cmi
endif
uninstall
:
...
...
cdo2cmo/cdml.ml
View file @
c20932f0
...
...
@@ -8,7 +8,9 @@ type 'a ml2cd = 'a -> Value.t
let
initialize
modname
=
let
cu
=
Types
.
CompUnit
.
mk
(
Ident
.
U
.
mk_latin1
modname
)
in
Librarian
.
import
cu
;
(
try
Librarian
.
import
cu
;
with
Librarian
.
NoImplementation
_
->
failwith
(
"Cdml: no implementation found for CDuce module "
^
modname
));
Librarian
.
run
cu
;
cu
...
...
driver/cduce.ml
View file @
c20932f0
...
...
@@ -293,7 +293,7 @@ ifdef ML_INTERFACE then
Ml_checker
.
run
ml_cu
cd_cu
;
let
out
=
open_out
(
Filename
.
concat
out_dir
(
fnam
^
".ml"
)
)
in
let
fmt
=
Format
.
formatter_of_out_channel
out
in
Ml_generator
.
ML
.
generate
fmt
cu
ml_cu
cd_cu
;
Ml_generator
.
ML
.
generate
fmt
fnam
ml_cu
cd_cu
;
close_out
out
;
with
Not_found
->
(
let
name
=
fnam
^
".mli"
in
...
...
driver/cduce.mli
View file @
c20932f0
...
...
@@ -9,3 +9,5 @@ val dump_env : Format.formatter -> unit
val
compile
:
string
->
string
option
->
unit
val
compile_run
:
string
->
unit
val
run
:
string
->
unit
val
print_exn
:
Format
.
formatter
->
exn
->
unit
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