[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] makeAxExportForm
From: |
Ralf Hemmecke |
Subject: |
[Axiom-developer] makeAxExportForm |
Date: |
Sat, 31 May 2008 18:55:24 +0200 |
User-agent: |
Thunderbird 2.0.0.14 (X11/20080421) |
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] makeAxExportForm,
Ralf Hemmecke <=