Browse thread
-
briand@a...
-
Jean-Baptiste Rouquier
-
briand@a...
- Jacques GARRIGUE
-
briand@a...
- Damien Doligez
-
Jean-Baptiste Rouquier
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Jacques GARRIGUE <garrigue@k...> |
| Subject: | Re: [Caml-list] Re : [path directives] |
From: briand@aracnet.com > Why doesn't the load fail or give some indication of a problem ? > > Why doesn't caml know to look in the same directory which const.cmo > came from ? > > I think I'll take a look through the sources and try and understand > why this isn't more user friendly. The basic reason is that there are two files to read: const.cmo and const.cmi, and they are loaded by two independent mechanisms. const.cmo must be loaded explicitly by a #load command, but const.cmi is searched automatically in the path when a Const.xxx identifier is used. The independence of the two mechanisms may be confusing, but you may understand it better if you think of loading a .cma file: in that case, you really don't know where the corresponding .cmi should be. Jacques Garrigue ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners