Browse thread
[Caml-list] Unused .cma and .so
-
Claudio Sacerdoti Coen
- Warp
-
Xavier Leroy
- Claudio Sacerdoti Coen
[
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: | Claudio Sacerdoti Coen <sacerdot@c...> |
| Subject: | Re: [Caml-list] Unused .cma and .so |
> No, because it is actually necessary. > External functions declared in .mli files are expanded inline into > client code. I see. This is also documented in the manual (17.1.1). Can I suggest to stress that also in 8.1 (in the .cma explanation, just after the paragraph explaining that unuseful .cmo files are not linked)? Regards, C.S.C. -- ---------------------------------------------------------------- Real name: Claudio Sacerdoti Coen PhD Student in Computer Science at University of Bologna E-mail: sacerdot@cs.unibo.it http://caristudenti.cs.unibo.it/~sacerdot ---------------------------------------------------------------- ------------------- 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