Gabriel Dos Reis wrote:
> 
> 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.
> 

How does it differ from setting $bootStrapMode to true?  And can
you generate things like operation list or constructor modemap
without using databases?

-- 
                              Waldek Hebisch
[EMAIL PROTECTED] 

------------------------------------------------------------------------------
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

Reply via email to