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
737780e3
Commit
737780e3
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2004-06-26 19:41:55 by afrisch] Style
Original author: afrisch Date: 2004-06-26 19:41:55+00:00
parent
6590b513
Changes
1
Hide whitespace changes
Inline
Side-by-side
cdo2cmo/ml_ocaml.ml
View file @
737780e3
...
...
@@ -477,8 +477,10 @@ and translate_type_constr cduce lident map name list =
let
head
=
ML
.
Ident
.
name
(
ML
.
Path
.
head
name
)
in
let
file
=
head
^
".cmi"
in
let
file
=
ML
.
Misc
.
find_in_path_uncap
!
ML
.
Config
.
load_path
file
in
Printf
.
eprintf
"Found file %s
\n
"
file
;
let
sign
=
ML
.
Env
.
read_signature
head
file
in
let
node
=
find_node
name
in
(* How would that be different from the previous call ?? -- AF *)
ML_ident
(
name
,
translate_parameters
cduce
lident
map
list
,
node
)
and
translate_type_desc
cduce
lident
map
id
=
function
...
...
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