aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)AuthorFilesLines
2011-09-06 * interp/define.boot (compDefineFunctor1): Setdos-reis2-3/+10
dbConstructorModemap before compiling functor body.
2011-09-06 * interp/define.boot: Use DB for current constructor.dos-reis9-151/+162
(mkCategoryPackage): Category defaults are packages, not domains. * interp/functor.boot (encodeFunctionName): Use current constructor DB. First argument is now a DB. Adjust caller. * algebra/domain.spad.pamphlet (DomainConstructo) [functorData]: Use getInfovec.
2011-09-05 Stop using LOADED symbol property of constructors.dos-reis8-28/+45
* interp/daase.lisp (DATABASE) [LOAD-PATH]: New field. (dbLoadPath): New accessor. (INITIAL-GETDATABASE): Tidy. * interp/database.boot: Use dbLoadPath and dbLoaded?. * interp/lisplib.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise. * interp/br-util.boot (isLoaded?): Remove as unused.
2011-09-05 * interp/define.boot: Remove $LISPLIB.dos-reis6-36/+32
* interp/functor.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/patches.lisp: Likewise. * interp/sys-globals.boot: Likewise.
2011-09-05 * interp/define.boot (compDefineFunctor1): Do not setdos-reis4-6/+10
$lisplibFunctions. * interp/lisplib.boot: Remove $lisplibOpAlist. * interp/nruncomp.boot: Likewise.
2011-09-05 * interp/nruncomp.boot (updateSlot1DataBase)e: Remove.dos-reis10-92/+19
(newLookupInCategories1): Remove. (newLookupInCategories): Do not call it. * interp/define.boot ($isOpPackageName): Remove. (compDefinFunctor1): Do not emit slot1 database info for category defaulta. ($lisplibSlot1): Remove. * interp/lisplib.boot: Likewise. (finalizeLisplib): Do not write slot1 info.
2011-09-05 * interp/lisplib.boot (writeCategory): New,dos-reis12-3021/+1964
(finalizeLisplib): Use it. Write category bodies in generated Lisp code file. * interp/daase.lisp (GETDATABASE) [CONSTRUCTORCATEGORY]: Don't bother with package and domain constructors. * interp/database.boot (getConstructorCategory): Rename from getConstructorCategoryFromDB. Reimplement, Adjusr callers.
2011-09-05 * interp/daase.lisp (GETDATABASE): Do not handle PREDICATES anddos-reis11-38/+35
ATTRIBUTES selectors anymore. * interp/database.boot (getConstructorPredicates): Rename from getConstructorPredicatesFromDB. Adjust callers. (getConstructorAttributes): Rename from getConstructorAttributesFromDB. Adjust callers.
2011-09-04 * interp/lisplib.boot (writeAbbreviation): New.dos-reis3-21/+36
(writePredicates): Likewise. (finalizeLisplib): Use them. * interp/daase.lisp (squeezeCopy): New, Use it in place of SQUEEZE.
2011-09-04 * interp/lisplib.boot: Likewise.dos-reis3-10/+12
* interp/define.boot: Remove $lisplibAncestors.
2011-09-04 * interp/br-data.boot: Don't use $lisplibParents.dos-reis4-13/+13
* interp/define.boot: Likewise. * interp/lisplib.boot: Likewise.
2011-09-03 * lib/pixmap.c: Include standard header.dos-reis3-488/+8
* include/xpm.h: Remove.
2011-09-03 * interp/property.lisp: Remove unused codes.dos-reis8-34/+39
* interp/g-util.boot (superType): If domain is $ then use current information. * interp/daase.lisp: Tidy. * interp/c-util.boot (extendsCategoryForm): Temporarily disable uses of information not coming from on-the-fly category compilation. * interp/br-data.boot (getParentsFor): Change first parameter to a DB. Adjust callers. * algebra/Makefile.in: Adjust dependencies.
2011-08-30 * algebra/Makefile.in: Simplify bootstrap rules. Builddos-reis2-44/+31
initdb.daase before bootstrap.
2011-08-29 * interp/lisplib.boot (laodIfNecessaryAndExists): Remove as unused.dos-reis4-12/+47
(loadLibIfnecessary): Fold definition into loadIfNecessary. (loadDB): New. (writeAttributes): Likewise. (finalizeLisplib): Use it. * interp/daase.lisp (MAKE-DATABASES): Fix SQUEEZE snafu. * interp/c-util.boot (extendsCategoryForm): Prefer existing translation of category definition to re-evaluation on the fly.
2011-08-29 * interp/lisplib.boot (loadLib): Remove deadcode.dos-reis4-58/+24
(isDomainForm): Tidy. (isFunctor): Likewise. (compDefineExports): Remove as no longer used. * interp/sys-utility.boot (loadExports): Likewise. * interp/g-util.boot (get0, get1, get2): Tidy.
2011-08-29 * interp/lisplib.boot (writePrincipals): New.dos-reis2-1/+9
(finalizeLisplib): Use it.
2011-08-28 * interp/define.boot (compDefineCategory2): Mark begining and enddos-reis5-6/+27
of definition processing. (compDefineFunctor1): Likewise. * interp/daase.lisp (dbPrincipals): New accessor. * interp/br-data.boot (getDefaultPackageClients): Fix thinko. * interp/lisplib.boot (writeAncestors): New. (finalizeLisplib): Use it
2011-08-28 * interp/lisplib.boot (writeInstanceCache): Remove.dos-reis7-12/+10
(finalizeLisplib): Don't call it.
2011-08-28 * interp/daase.lisp (DATABASE): Add new field BEING-DEFINED.dos-reis2-157/+168
(dbBeingMacro?): New accessor. (GETDATABASE): Tidy.
2011-08-26 Remove $lisplibAttributes.dos-reis4-21/+33
* interp/define.boot (compDefineFunctor1): Tidy. (compCapsuleInner): Add a DB first parameter. Adjust callers. * interp/lisplib.boot (NRTgenInitialAttributeAlist): Likewise. (simplifyAttributeAlist): Likewise. * interp/nruncomp.boot (changeDirectoryInSlot1): Likewise. (buildFunctor): Change first parameter to DB. Adjust caller.
2011-08-26 * interp/lisplib.boot (autoLoad): Lose first parameter. dos-reis4-17/+26
Adjust callers. (unloadOneConstructor): Likewise. * interp/category.boot (isCategoryForm): Rewrite. * interp/patches.lisp (mkAutoLoad): Move to lisplib.boot.
2011-08-25 * interp/compiler.boot (compHasFormat): Take environmentdos-reis6-36/+49
argument. Adjust callers. * interp/define.boot (NRTmakeCategoryAlist): Likewise. * interp/functor.boot (ProcessCond): Likewise. * interp/lisplib.boot (NRTgenFinalAttributeAlist): Likewise. (predicateBitIndex): Likewise. (predicateBitRef): Likewise. (makePredicateBitVector): Likewise. (transHasCode): Likewise.
2011-08-25 * interp/hashcode.boot: Remove.dos-reis14-831/+84
*interp/interop.boot: Move OpenAxiom relevant code to define.boot and nrunfast.boot. Remove.
2011-08-25 * interp/define.boot ($mutableDomain): Remove. Adjust users.dos-reis8-48/+20
($mutableDomains): Likewise. * interp/database.boot (dbMutable?): Remove. * interp/clam.boot (addToclam): Remove as unused. * algebra/modmon.spad.pamphlet: Do not make MoMonic mutable. * algebra/defaults.spad.pamphlet: Do not make RepeatedSquaring and RepeatedDoubling, FiniteLinearAggregateSort mutable.
2011-08-25 * interp/daase.lisp (dbArity, dbInstanceCache): New accessors.dos-reis11-10/+42
* interp/database.boot (loadDBIfnecessary): New. (dbMutable?): Likewise. * interp/lisplib.boot (finalizeLisplib): Record mutable property.
2011-08-24 * algebra/Makefile.in: Support construction initial DB profile.dos-reis7-11/+89
* interp/database.boot (printInitdbInfo): New. (printAllInitdbInfo): Likewise. * interp/sys-driver.boot (initializeDatabases): Exit early if constructing initial DB profile. (buildInitdbHandler): New. Handle --build-initdb. * utils/command.cc (driver_table): Add map for --build-initdb.
2011-08-23 * interp/sys-driver.boot (initializeDatabases): New.dos-reis10-66/+124
(initializeGlobalState): Use it. * interp/spad-parser.boot (parseSpadFile): Tidy. * interp/g-cndata.boot (installConstructor): Exit early it global table not initialized. * interp/database.boot (makeInitialDB): New. (populateDBFromFile): Likewise. * interp/daase.lisp: Introduce more DB accessors. * interp/br-util.boot (dbSourceFile): Remove. * interp/br-con.boot (kdPageInfo): Use getConstructorSourceFileFromDB instead of dbSourceFile. (kPage): Likewise. * algebra/Makefile.in (SPADFILES): Include domain.spad
2011-08-23 * interp/sys-driver.boot (initializeGlobalState): Constructdos-reis5-14/+21
database tables if algebra is not complete yet. * interp/Makefile.in (${SAVESYS}): Simplify. * algebra/Makefile.in (strap-stamp): Make the destination directory.
2011-08-22 * interp/metalex.lisp (LINE-HANDLER, NEXT-LINE, XCAPE): Remove.dos-reis7-84/+25
(XTOKENREADER, GET-TOKEN, NEXT-META-LINE): Likewise. (META_ERROR_HANDLER, META-SYNTAX-ERROR, META-META-ERROR-HANLER): Likewise. * interp/debug.lisp: Do not set /XCAPE property. * interp/bootlex.lisp (INIT-BOOT/SPAD-READER): Do not set XTOKENRADER, LINE-HANDLER, META_ERROR_HANDLER.
2011-08-22 * interp/daase.lisp: Remove NILADIC field from DATABASE structure.dos-reis12-1802/+1776
(dbNiladic?): Remove. Adjust users. (WRITE-INTERP): Don't write NILADIC field.
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.