Waldek Hebisch <[EMAIL PROTECTED]> writes:
[...]
| More generally, Spad compiler collects all type information in
| databases. I like to think that Spad file contain two parts:
| interface part which declares all exports and implementation part.
| >From such point of view databases are just compiled form
| of interface part. My effort is basically to create a new
| compiler for interface parts. To allow incremental developement
| such compiler must be compatible with existing Spad compiler,
You can say
open-axiom --exports-only --compile FOO.spad
to get only the interface of the domain constructor FOO. Like for
category compilation, it does only very minimal checking, to
help bootstrap. The system is not completely hooked into the
constructor layout sub-system so as to obviate the need for some
domains. That is for after Xmas.
-- Gaby
------------------------------------------------------------------------------
SF.Net email is Sponsored by MIX09, March 18-20, 2009 in Las Vegas, Nevada.
The future of the web can't happen without you. Join us at MIX09 to help
pave the way to the Next Web now. Learn more and register at
http://ad.doubleclick.net/clk;208669438;13503038;i?http://2009.visitmix.com/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
