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
4ad037e6
Commit
4ad037e6
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2006-03-17 16:20:51 by afrisch] Empty log message
Original author: afrisch Date: 2006-03-17 16:20:51+00:00
parent
cbf0d406
Changes
1
Hide whitespace changes
Inline
Side-by-side
ocamliface/mltypes.ml
View file @
4ad037e6
...
...
@@ -229,12 +229,12 @@ let unsupported s =
raise
(
Error
(
Printf
.
sprintf
"Unsupported feature (%s) found in .cmi"
s
))
let
has_cmi
name
=
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
ation
.
obj_path
;
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
.
obj_path
;
try
ignore
(
Misc
.
find_in_path_uncap
!
Config
.
load_path
(
name
^
".cmi"
));
true
with
Not_found
->
false
let
find_value
v
=
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
ation
.
obj_path
;
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
.
obj_path
;
let
li
=
Longident
.
parse
v
in
ocaml_env
:=
Env
.
initial
;
let
(
_
,
vd
)
=
Env
.
lookup_value
li
Env
.
initial
in
...
...
@@ -256,7 +256,7 @@ let values_of_sig name sg =
let
load_module
name
=
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
ation
.
obj_path
;
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
.
obj_path
;
let
li
=
Longident
.
parse
name
in
ocaml_env
:=
Env
.
initial
;
let
(
_
,
mty
)
=
Env
.
lookup_module
li
Env
.
initial
in
...
...
@@ -281,7 +281,7 @@ let load_module name =
raise
(
Loc
.
Generic
s
)
let
read_cmi
name
=
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
ation
.
obj_path
;
Config
.
load_path
:=
Config
.
standard_library
::
!
Loc
.
obj_path
;
let
filename
=
Misc
.
find_in_path_uncap
!
Config
.
load_path
(
name
^
".cmi"
)
in
let
sg
=
Env
.
read_signature
name
filename
in
ocaml_env
:=
Env
.
add_signature
sg
Env
.
initial
;
...
...
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