src/interp/ax.boot
contains the function
makeAxExportForm(filename, constructors) ==
$defaultFlag : local := false
$literals := []
axForms :=
[modemapToAx(modemap) for cname in constructors |
(modemap:=GETDATABASE(cname,'CONSTRUCTORMODEMAP)) and
(not cname in '(Tuple Exit Type)) and
not isDefaultPackageName cname]
if $baseForms then
axForms := [:$baseForms, :axForms]
if $defaultFlag then
axForms :=
[['Foreign, ['Declare, 'dummyDefault, 'Exit], 'Lisp], :axForms]
axForms := APPEND(axDoLiterals(), axForms)
axForm := ['Sequence, _
['Import, [], 'AxiomLib], ['Import, [], 'Boolean], :axForms]
axForm
Can someone more clearly explain what its output format is?
Ralf
PS: Why is there a parameter "filename" if it is not used in the
function? (Well I don't understand boot, so that may be a stupid question.)
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
