diff options
Diffstat (limited to 'src/interp/ax.boot')
| -rw-r--r-- | src/interp/ax.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/ax.boot b/src/interp/ax.boot index 80af0206..d4e8d87a 100644 --- a/src/interp/ax.boot +++ b/src/interp/ax.boot @@ -68,7 +68,7 @@ makeAxFile(filename, constructors) == if $defaultFlag then axForms := [['Foreign, ['Declare, 'dummyDefault, 'Exit], 'Lisp], :axForms] - axForms := APPEND(axDoLiterals(), axForms) + axForms := append(axDoLiterals(), axForms) axForm := ['Sequence, _ ['Import, [], 'AxiomLib], ['Import, [], 'Boolean], :axForms] st := MAKE_-OUTSTREAM(filename) @@ -88,7 +88,7 @@ makeAxExportForm(filename, constructors) == if $defaultFlag then axForms := [['Foreign, ['Declare, 'dummyDefault, 'Exit], 'Lisp], :axForms] - axForms := APPEND(axDoLiterals(), axForms) + axForms := append(axDoLiterals(), axForms) axForm := ['Sequence, _ ['Import, [], 'AxiomLib], ['Import, [], 'Boolean], :axForms] axForm @@ -127,7 +127,7 @@ modemapToAx(modemap) == -- if not(b is ['Sequence,:withseq]) then withseq := [b] -- cosigs := rest getDualSignatureFromDB constructor -- exportargs := [['Export, [], arg, []] for arg in args for p in cosigs | p] --- resultType := ['With,a,['Sequence,:APPEND(exportargs, withseq)]] +-- resultType := ['With,a,['Sequence,:append(exportargs, withseq)]] consdef := ['Define, ['Declare, conscat, ['Apply, "->", optcomma argdecls, 'Category]], ['Lambda, argdecls, 'Category, ['Label, conscat, resultType]]] @@ -143,7 +143,7 @@ modemapToAx(modemap) == -- if not(b is ['Sequence,:withseq]) then withseq := [b] -- cosigs := rest getDualSignatureFromDB constructor -- exportargs := [['Export, [], arg, []] for arg in args for p in cosigs | p] --- resultType := ['With,a,['Sequence,:APPEND(exportargs, withseq)]] +-- resultType := ['With,a,['Sequence,:append(exportargs, withseq)]] ['Export, ['Declare, constructor, ['Apply, "->", optcomma argdecls, resultType]],[],[]] optcomma [op,:args] == @@ -194,7 +194,7 @@ axFormatType(typeform) == lastcat is ['CATEGORY,type,:ops] => ['With, [], makeTypeSequence( - APPEND([axFormatType c for c in cats], + append([axFormatType c for c in cats], [axFormatOp op for op in ops]))] ['With, [], makeTypeSequence([axFormatType c for c in rest typeform])] typeform is ['CATEGORY, type, :ops] => |