[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 (X11/20080421)


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]

Can someone more clearly explain what its output format is?


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]