aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2011-08-22 * interp/define.boot (substNames): Lose second parameter. Adjustdos-reis2-46/+36
callsers. (evalAndSub): Likewise. (augModmapsFromCategory): Likewise. (genDomainView): Likewise. (augModemapsFromCategoryRep): Remove as deadcode. (genDomainOps): Lose first parameter. Adjust callers.
2011-08-22 * interp/database.boot (getConstructorModemap): Rename fromdos-reis15-39/+39
getConstructorModemapFromDB. Adjust callers.
2011-08-22 * interp/database.boot (niladicConstructor?): Rename fromdos-reis11-17/+23
niladicConstructorFromDB. Use getConstructorFormFromDB. Adjust callers.
2011-08-21 * interp/define.boot ($lisplibAbbreviation): Remove. Adjust users.dos-reis6-42/+50
($lisplibForm): Likewise. * interp/c-doc.boot (finalizeDocumentation): Take constructor's name as parameter. Adjust callers. * interp/lisplib.boot (compileDocumentation): Likewise. (WriteKind): New. (writeConstructorForm): Likewise. (writeOperations): Likewise. (WriteConstructorModemap): Likewise. (finalizeLisplib): Use them.
2011-08-21 * interp/lisplib.boot (leaveIfErrors): Take kind as argument.dos-reis13-115/+110
(writeInfo): New. (writeSuperDomain): Likewise. (finalizeLisplib): Use it. Take constructor as argument. * interp/define.boot ($lisplibSuperDomain): Remove. Adjust users. ($lisplibKind): Remove Adjust users. (emitSubdomainInfo): Set dbSuperDomain. (incompleteFunctorBody): Likewise. * interp/daase.lisp: Add new database accessors. (GETDATABASE): Fix handling of superDomain property. * interp/br-util.boot (dbConstructorKind): Remove. * interp/br-con.boot: Remove deadcode. (dbShowCons1): Adjust. * interp/br-saturn.boot (dbShowConsKinds): Likewise.
2011-08-21 * interp/sys-globals.boot ($compileExportOnly): Remove.dos-reis4-19/+34
* interp/sys-driver.boot (initializeGlobalState): Don't set it. * interp/define.boot (skipCategoryPackage?): Adjust. (compDefineFunctor): Likewise. (compDefineFunctor1): Likewise. (incompleteFunctorBody): New. (compFunctorBody): Use it.
2011-08-20 * interp/sys-utility.boot (constructorDB): New.dos-reis17-146/+191
* interp/daase.lisp (dbNiladic?): New. Use it to access niladic property. of a constructor. * interp/database.boot: Import daase. (niladicContructorFromDB): Use it. * interp/define.boot (compDefineCategory): Don't write compilerInfo garbage. (compDefineFunctor1): Likewise. (compDefineCategory2): Set niladic property. (compDefineFunctor): Likewise. * interp/lisplib.boot (loadLib): Do not set niladic property. It is now a side-effect of loading. (loadLibNoUpdate): Do not check for version. (makeConstructorAutoload): Do not set niladic property. (initializeLisplib): Do not emit code to check version. (mkCtorDBForm): New. (writeNiladic?): Likewise. (finalizeLisplib): Do not set niladic property. * interp/patches.lisp: Remove deadcode. * interp/sys-constants.boot (MAJOR-VERSION): Remove.
2011-08-20 * algebra/polycat.spad.pamphlet (UnivariatePolynomialCategory)dos-reis3-2/+11
[divide]: Tidy. * algebra/Makefile.in (strap-0/%.$(FASLEXT)): Copy generated Lisp files if keeping intermediate files.
2011-08-19 * interp/category.boot (mkOr): Taken environment as parameter.dos-reis6-141/+163
Adjust callers. (mkOr2): Likewise. (mkAnd): Likewise. (mkAnd2): Likewise. (FindFundAncs): Likewise. (CatEval): Likewise. (AncestorP): Likewise. (CondAncestorP): Likewise. (DescendantP): Likewise. * interp/compiler.boot (compMapCond): Likewise. (compMapCond'): Likewise. * interp/define.boot (formatPred): Likewise. (formatInfo): Likewise. (addInfo): Likewise. (knownPred): Likewise. * interp/functor.boot (InvestigateConditions): Likewise. (ICformat): Likewise.
2011-08-19Fix Graphics components startupalfredoport4-28/+52
2011-08-18 * interp/momdemap.boot: Fold content into compiler.boot anddos-reis10-585/+523
define.boot. Remove. * Makefile.in: Adjust dependencies.
2011-08-18 * interp/c-util.boot: Use category accessors.dos-reis4-18/+20
* interp/category.boot: Likewise. * interp/modemap.boot: Likewise.
2011-08-18 * interp/c-util.boot (categoryAssociatedTypes): Rename fromdos-reis10-70/+83
categoryHierarchy. Adjust callers. (categoryPrincipals): New. (categoryAncestors): Likewise. (categoryLocals): Likewise. (categoryParameters): Likewise. (extendsCategoryForm): Use them. * interp/category.boot: Likewise. * interp/cattable.boot: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/modemap.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/database.boot (getCategoryAttributes): Remove. (getPrincipalAncestors): Likewise. (getCategoryParents): Likewise. * algebra/domain.spad.pamphlet (Category): Adjust.
2011-08-17 * interp/c-util.boot (categoryPrincipals): New.dos-reis4-21/+39
(categoryAncestors): Likewise. * interp/functor.boot (DescendCodeAdd): Tidy. (DescendCodeVarAdd): Fix thinko. Iterator over $domainShell. Don't pretend constants have ELT implementations. * interp/nruncomp.boot (buildFunctor): Tidy.
2011-08-16 * interp/modemap.boot (addModemap0): Don't special-casedos-reis6-36/+39
CategoryDefaults. * interp/define.boot (processFunctor): Fold into caller. Remove. * interp/clam.boot (recordInstantiation1): Do not special case CategoryDefaults and RepeatedSquaring. * interp/functor.boot (DescendCode): Lose last argument, for it is always $. Adjust body. Adjust caller. * interp/nruncomp.boot (buildFunctor): $catNames should not be a fluid variable. Rename to viewNames.
2011-08-16 * interp/functor.boot (setVector0, setVector12, setVector3,dos-reis5-95/+27
mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead codes.
2011-08-15 * interp/g-opt.boot (optCollectVector): Generate VM forms.dos-reis3-18/+26
(optIinc): New. Register as new transformer. * interp/c-util.boot ($middleEndMacroList): Remove. (middleEndExpand): Don't check for Lisp-level macros anymore.
2011-08-15 * interp/compiler.boot (compSeq1): Tidy.dos-reis2-35/+37
(cpmpSeqItem): Likewise. (replaceExitEtc): Likewise. (massageLoop): Don't check for TAGGEDexit anymore.
2011-08-14 * interp/lisp-backend.boot ($freeVarName): New global constant.dos-reis36-134/+223
(loopVarInit): New. (expandIN): Use it. (expandON): Likewise. (expandSTEP): Likewise. (massageFreeVarInits): New. (expandLoop): Use it. * interp/fnewmeta.lisp (PARSE-QuantifiedVariable): Tidy. (PARSE-AnyId): Likewise. (PARSE-Variable): New. Allow scope-of-type specification for loop variable. (PARSE-Iterator): Use it. * interp/compiler.boot (massage_llop): Don't check $mayHaveFreeIteratorVariables. (compRepeatOrCollect): Don't bind it. (classifyIteratorVariable): New. (complainIfShadowing): Remove as no longer needed. (compStepIterator): Use it. Tidy. (compONIterator, compINIterator): New. Split out of compIterator. (compIterator): Refactor. * interp/functor.boot (optFunctorBody): Fix thinko. * interp/g-opt.boot (optCollectVector): A STEP iterator may have a storage class. * algebra/clip.spad.pamphlet: Fix loop variable scope. * algebra/ffpoly.spad.pamphlet: Likewise. * algebra/fparfrac.spad.pamphlet: Likewise. * algebra/gdpoly.spad.pamphlet: Likewise. * algebra/ghensel.spad.pamphlet: Likewise. * algebra/groebsol.spad.pamphlet: Likewise. * algebra/intfact.spad.pamphlet: Likewise. * algebra/matfuns.spad.pamphlet: Likewise. * algebra/moddfact.spad.pamphlet: Likewise. * algebra/numtheor.spad.pamphlet: Likewise. * algebra/permgrps.spad.pamphlet: Likewise. * algebra/pfbr.spad.pamphlet: Likewise. * algebra/pgcd.spad.pamphlet: Likewise. * algebra/pleqn.spad.pamphlet: Likewise. * algebra/pseudolin.spad.pamphlet: Likewise. * algebra/radeigen.spad.pamphlet: Likewise. * algebra/radix.spad.pamphlet: Likewise. * algebra/regset.spad.pamphlet: Likewise. * algebra/rep2.spad.pamphlet: Likewise. * algebra/sgcf.spad.pamphlet: Likewise. * algebra/smith.spad.pamphlet: Likewise. * algebra/sregset.spad.pamphlet: Likewise. * algebra/syssolp.spad.pamphlet: Likewise. * algebra/zerodim.spad.pamphlet: Likewise. * algebra/crfp.spad.pamphlet: Remove capsule-level declaration of local variables. * algebra/galfact.spad.pamphlet: Likewise. * algebra/mathml.spad.pamphlet: Likewise. * algebra/numode.spad.pamphlet: Likewise. * algebra/tex.spad.pamphlet: Likewise. * algebra/updecomp.spad.pamphlet: Likewise.
2011-08-14 * interp/compiler.boot (compRepeatOrCollect): Set $loopKind directly.dos-reis18-58/+47
(complainIfShadowing): Don't complain when collecting. * algebra/contfrac.spad.pamphlet: Remove capsule-level declaration of local variables. * algebra/cycles.spad.pamphlet: Likewise. * algebra/cyclotom.spad.pamphlet: Likewise. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/fortpak.spad.pamphlet: Likewise. * algebra/lingrob.spad.pamphlet: Likewise. * algebra/numode.spad.pamphlet: Likewise. * algebra/numquad.spad.pamphlet: Likewise. * algebra/out.spad.pamphlet: Likewise. * algebra/perman.spad.pamphlet: Likewise. * algebra/view2D.spad.pamphlet: Likewise.
2011-08-14Remove redundant capsule-level declarationsdos-reis10-50/+23
2011-08-13 * algebra/integer.spad.pamphlet (Integer): Remove attribute infinite.dos-reis8-17/+17
2011-08-13 * interp/c-util.boot (instantiationArgs): New.dos-reis8-28/+65
(domainDirectory): Likewise. (domainLookupFunction): Likewise. (domainOperatorTable): Likewise. (domainAttributes): Likewise. (domainPredicates): Likewise. (domainData): Likewise. * interp/buildom.boot: Use new domain accessors. * interp/functor.boot: Likewise. * interp/interop.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise.
2011-08-12Remove another instance of LIST2VECdos-reis1-1/+1
2011-08-12 * boot/ast.boot (shoeCompTran1): Translate extended vector-forms.dos-reis12-52/+73
* interp/c-util.boot: Use vector instead of LIST2VEC. * interp/define.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-map.boot: Likewise. * interp/i-special.boot: Likewise. * interp/interop.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/slam.boot: Likewise.
2011-08-12 * interp/nrunfast.boot (newLookupInTable): Compare domain anddos-reis6-56/+46
dollar as objects, not as value. (newLookupInCategories): Remove deadcode. (newExpandGoGetTypes): Remove as unused.
2011-08-12 * interp/define.boot (NRTgetLookupFunction): Handle the case wheredos-reis9-8/+32
the base domain is a parameter. * interp/g-util.boot (formalVarNumber): New. * lisp/core.lisp.in (readIntegerIfCan): Likewise.
2011-08-11 * interp/define.boot (extendsCategoryBasic): Handle attributedos-reis7-7/+17
third argument too.
2011-08-11 * interp/lisp-backend.boot (expandBytevec2str): Use MAP instead ofdos-reis3-5/+15
COERCE. Eliminate second argument. (expandStr2bytevec): Use MAP instead of COERCE. * algebra/data.spad.pamphlet (ByteBuffer) [coerce]: Adjust call to %bytevec2str.
2011-08-10 * algebra/float.spad.pamphlet (Float): Tidy.dos-reis18-44/+59
* algebra/fortmac.spad.pamphlet (MachineInteger): Likewise. * algebra/fspace.spad.pamphlet (FunctionSpace): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/mkfunc.spad.pamphlet (InputForm): Likewise. * algebra/newpoly.spad.pamphlet (RecursivePolynomialCategory): Likewise. * input/knot.input.pamphlet: Likewise. * input/knot2.input.pamphlet: Likewise. * input/mult3d.input.pamphlet: Likewise. * input/multKnot.input.pamphlet: Likewise. * input/r21bugsbig.input.pamphlet: Likewise. * input/tutchap2.input.pamphlet: Likewise.
2011-08-10 * algebra/Makefile.in (oa_strap_0_sources): Don't include OM.dos-reis13-19108/+17838
(axiom_algebra_layer_0): Don't include OM, OMCONN, OMDEV. (axiom_algebra_layer_4): Don't include OMENC. (axiom_algebra_layer_14): Don't include OMPKG. (axiom_algebra_layer_19): Don't include OMERR, OMERRK. (axiom_algebra_layer_20): Don't include OMEXPR. * algebra/omcat.spad.pamphlet: Remove. * algebra/omdev.spad.pamphlet: Remove. * algebra/omerror.spad.pamphlet: Remove. * algebra/omserver.spad.pamphlet: Remove. * algebra/openmath.spad.pamphlet: Remove.
2011-08-10 * interp/setvart.boot: Remoe OpenMath description.dos-reis18-28869/+26186
* interp/setvars.boot (setOutputOpenMath): Remove. (describeOutputOpenMath): Likewise. * algebra/Makefile.in (axiom_algebra_layer_14): Don't include OMSERVER. * algebra/float.spad.pamphlet (Float): Remove OpenMath exports. * algebra/fraction.spad.pamphlet (Fraction): Likewise. * algebra/gaussian.spad.pamphlet (Complex): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/list.spad.pamphlet (List): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (String): Likewise. * algebra/symbol.spad.pamphlet (Symbol): Likewise.
2011-08-08 * interp/define.boot (NRTgetLookupFunction): Take an environmentdos-reis2-21/+31
argument. Adjust caller. (NRTextendsCategory1): Likewise. (extendsCategory): Likewise. (extendsCategoryBasic): Likewise. (catExtendsCat?): Likewise.
2011-08-08 * interp/c-util.boot (categoryHierarchy): New.dos-reis4-25/+33
* interp/category.boot (mkCategory): Use it. * interp/define.boot (NRTgetLookupFunction): Tidy. (catExtendsCat?): Lose last argument. Adjust callers.
2011-08-07 * interp/define.boot (templateVal): Fold into expantTypeArgs. Remove. dos-reis2-12/+9
2011-08-07more cleanupsdos-reis1-2/+2
2011-08-07cleanupdos-reis5-92/+103
2011-08-06cleanupdos-reis62-497/+502
2011-08-06cleanupdos-reis5-82/+76
2011-08-06 * interp/define.boot (extendsCategoryBasic0): Fold intodos-reis2-7/+9
extendsCategoryBasic. Remove.
2011-08-05 * boot/tokens.boot: Remove unused and antiquated tokens.dos-reis4-17/+15
* interp/i-output.boot: Escape caret.
2011-08-05cleanupdos-reis6-53/+46
2011-08-05 * algebra/boolean.spad.pamphlet (Boolean) [test]: Remove.dos-reis7-24404/+26539
2011-08-04 * boot/ast.boot (bfFlattenSeq): Rewrite.dos-reis3-63/+35
(bfMKPROGN): Tidy.
2011-08-04cleanupdos-reis55-209/+217
2011-08-04 * boot/ast.boot (bfSTEP): Synthetize artificial variable fordos-reis3-0/+8
unnamed loop index.
2011-07-14 * boot/ast.boot (bfIS1): Tidy test for cons cells.dos-reis3-0/+6
2011-07-14 * interp/functor.boot (CategoryPrint): Move from category.boot.dos-reis3-71/+79
(DomainPrint1): Tidy. (PacPrint): Likewise. (DomainPrintSubst): Likewise.
2011-07-13 * boot/tokens.boot: copyString, copyTree, and copyVector are nowdos-reis10-18/+35
builtin library functions. * interp/br-util.boot: Use copyVector instead of COPY-SEQ. * interp/category.boot: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/newfort.boot: Likewise.
2011-07-13 * interp/category.boot: Remove dead codes.dos-reis3-13/+11
* interp/define.boot (hasFullSignature): Tidy.