[
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: | Sam Steingold <sds@p...> |
| Subject: | Re: stand-alone top-level |
EL CHAAR Rabih SGAM/AI/SAM wrote: > If you speak about the toplevel as interactive, it needs to see the modules interfaces in order to do the type checking, compilation, ... > These were always in cmi files, which are not embedded in libraries (cma or cmxa). it would be nice if they were optionally embeddable in the interactive top-level.