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
66796819
Commit
66796819
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-03-11 14:23:07 by jdemouth] Quelques mises au point.
Original author: jdemouth Date: 2004-03-11 14:23:07+00:00
parent
90215a76
Changes
1
Hide whitespace changes
Inline
Side-by-side
cdo2cmo/ml_ocaml.ml
View file @
66796819
...
...
@@ -381,11 +381,15 @@ and load_module env name =
let
_
=
translate_signature
(
Env
.
external_env
env
name
)
sign
in
()
and
find_file
name
=
try
List
.
find
(
fun
dir
->
Sys
.
file_exists
(
Filename
.
concat
dir
name
)
)
!
Librarian
.
obj_path
with
Not_found
->
error
(
File_not_found
name
)
let
dir
=
try
List
.
find
(
fun
dir
->
Sys
.
file_exists
(
Filename
.
concat
dir
name
)
)
!
Librarian
.
obj_path
with
Not_found
->
error
(
File_not_found
name
)
in
if
dir
=
""
then
error
(
File_not_found
name
);
Filename
.
concat
dir
name
and
translate_tdesc
env
id
=
function
|
ML
.
Types
.
Tvar
->
...
...
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