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.)
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
