aboutsummaryrefslogtreecommitdiff
path: root/src/interp/define.boot
AgeCommit message (Collapse)AuthorFilesLines
2011-09-11 * interp/lisplib.boot (isFunctor): Noe recognize Mapping as a functor.dos-reis1-8/+14
* interp/g-opt.boot (doInlineCall): Tidy one more time. ($VMsideEffectFreeOperators): Move %aplly to $simpleVMoperators. (optLET): Remove as unused. * interp/lisp-backend.boot (expandApply): New. Register as expander for %apply forms. * interp/define.boot (getXmode): New. (displayMissingFunctions): Use it instead of getmode. (compDefineCapsuleFunction): Likewise. (addDomain): Likewise. (getSignature): Likewise. (compile): Likewise. (compJoin): Likewise. * interp/compiler.boot (comp3): Likewise. (compWithMappingMode): Likewise. (applyMapping): Generate %apply form. (compApplication): Likewise. (autoCoerceByModemap): Likewise. (extractCodeAndConstructTriple): Handle %apply forms. (setqSingle): For domain variables, put corresponding macro forms in the environment. * algebra/ore.spad.pamphlet (Automorphism): Define Rep as a constant. Adjust; include explicit uses of rep and per.
2011-09-07 * interp/nruncomp.boot (NRTaddInner): Use the dual signature.dos-reis1-2/+7
* interp/lisplib.boot (writeDualSignature): New. (finalizeLisplib): Likewise. * interp/define.boot (compDefineCategory2): Compute dual signature. (compDefineFunctor1): Likewise. * interp/daase.lisp (LOCALNRLIB): Juts read dual signature info; don't compute it.
2011-09-07 * interp/define.boot (compDefineFunctor1): Augment the envionmentdos-reis1-2/+3
with current instantiation. * interp/c-util.boot (isSubset): Accept values of current instantiation as values of the current domain.
2011-09-07 * interp/compiler.boot (compImport): Don't do anything ifdos-reis1-2/+2
bootstrapping: there is no much to import for now. * interp/define.boot (getOperationAlist): Get the isFunctor property directly. (addDomain): Call isDomainForm.
2011-09-06 * interp/define.boot (compDefineFunctor1): Setdos-reis1-3/+5
dbConstructorModemap before compiling functor body.
2011-09-06 * interp/define.boot: Use DB for current constructor.dos-reis1-10/+13
(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 * interp/define.boot: Remove $LISPLIB.dos-reis1-21/+17
* 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-reis1-1/+0
$lisplibFunctions. * interp/lisplib.boot: Remove $lisplibOpAlist. * interp/nruncomp.boot: Likewise.
2011-09-05 * interp/nruncomp.boot (updateSlot1DataBase)e: Remove.dos-reis1-7/+0
(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-04 * interp/lisplib.boot: Likewise.dos-reis1-3/+2
* interp/define.boot: Remove $lisplibAncestors.
2011-09-04 * interp/br-data.boot: Don't use $lisplibParents.dos-reis1-9/+5
* interp/define.boot: Likewise. * interp/lisplib.boot: Likewise.
2011-09-03 * interp/property.lisp: Remove unused codes.dos-reis1-3/+3
* 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-28 * interp/define.boot (compDefineCategory2): Mark begining and enddos-reis1-1/+6
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-26 Remove $lisplibAttributes.dos-reis1-7/+8
* 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-25 * interp/compiler.boot (compHasFormat): Take environmentdos-reis1-5/+5
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-reis1-0/+14
*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-reis1-14/+7
($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-22 * interp/daase.lisp: Remove NILADIC field from DATABASE structure.dos-reis1-11/+0
(dbNiladic?): Remove. Adjust users. (WRITE-INTERP): Don't write NILADIC field.
2011-08-22 * interp/define.boot (substNames): Lose second parameter. Adjustdos-reis1-46/+26
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-reis1-6/+5
getConstructorModemapFromDB. Adjust callers.
2011-08-22 * interp/database.boot (niladicConstructor?): Rename fromdos-reis1-2/+2
niladicConstructorFromDB. Use getConstructorFormFromDB. Adjust callers.
2011-08-21 * interp/define.boot ($lisplibAbbreviation): Remove. Adjust users.dos-reis1-5/+2
($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-reis1-10/+6
(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-reis1-12/+23
* 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-reis1-24/+12
* 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-19 * interp/category.boot (mkOr): Taken environment as parameter.dos-reis1-46/+45
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-18 * interp/momdemap.boot: Fold content into compiler.boot anddos-reis1-1/+501
define.boot. Remove. * Makefile.in: Adjust dependencies.
2011-08-18 * interp/c-util.boot (categoryAssociatedTypes): Rename fromdos-reis1-4/+3
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-16 * interp/modemap.boot (addModemap0): Don't special-casedos-reis1-10/+6
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-reis1-17/+14
mkDomainFomer, setVector5, mkVectorWithDeferral): Remove as dead codes.
2011-08-12 * boot/ast.boot (shoeCompTran1): Translate extended vector-forms.dos-reis1-3/+3
* 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/define.boot (NRTgetLookupFunction): Handle the case wheredos-reis1-2/+7
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-reis1-2/+7
third argument too.
2011-08-08 * interp/define.boot (NRTgetLookupFunction): Take an environmentdos-reis1-21/+22
argument. Adjust caller. (NRTextendsCategory1): Likewise. (extendsCategory): Likewise. (extendsCategoryBasic): Likewise. (catExtendsCat?): Likewise.
2011-08-08 * interp/c-util.boot (categoryHierarchy): New.dos-reis1-23/+20
* 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-reis1-12/+5
2011-08-06cleanupdos-reis1-19/+19
2011-08-06 * interp/define.boot (extendsCategoryBasic0): Fold intodos-reis1-7/+4
extendsCategoryBasic. Remove.
2011-08-04cleanupdos-reis1-8/+8
2011-07-13 * boot/tokens.boot: copyString, copyTree, and copyVector are nowdos-reis1-1/+1
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-reis1-5/+6
* interp/define.boot (hasFullSignature): Tidy.
2011-05-19more cleanupdos-reis1-7/+5
2011-05-19 * interp/buildom.boot (lookupInDomainVector): Establish a newdos-reis1-4/+4
binding for $lookupDefaults.
2011-05-15cleanupdos-reis1-1/+1
2011-05-02more cleanupsdos-reis1-1/+1
2011-05-02More cleanupsdos-reis1-2/+2
2011-05-02cleanupdos-reis1-1/+1
2011-05-02 * interp/c-util.boot (categoryRef, domainRef, canonicalForm)dos-reis1-3/+3
(instantiatorCtor, instantiatorArgs, categoryExports): New.
2011-05-02 * boot/parser.boot (bpDefinition): Accept macro definitiondos-reis1-3/+3
starting with the keyword "MACRO". * boot/translator.boot (exportNames): Export them in all evaluation contexts. * interp/c-util.boot: "macro" is now a keyword. * interp/define.boot: Likewise. * interp/g-util.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/postpar.boot: Likewise.
2011-05-02more cleanupdos-reis1-2/+2
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 11:01:01 +0000