Age | Commit message (Collapse) | Author | Files | Lines |
|
(NRTgetLocalIndexClear): Remove.
(NRTgetLocalIndex1): Lose second unused argument; move body to
NRTgetLocalIndex.
* interp/define.boot (doIt): Call NRTgetLocalIndex, not
NRTgetLocalIndexClear.
* interp/wi2.boot (NRTgetLocalIndex): Rename from NRTgetLocalIndex1.
|
|
(getFormModemaps): Likewise.
(compComma): New.
* interp/c-util.boot (isTupleInstance): New.
(isHomoegenousVarargSignature): Likewise.
(enoughArguments): Likewise.
(wantArgumentsAsTuple): Likewise.
* interp/apply.boot (reshapeArgumentList): New.
(compFormWithModemap): Use it.
|
|
(setqMultiple): Likewise.
* interp/def.lisp (DEF-IS2): Likewise.
* interp/define.boot (compAdd): Likewise.
* interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise.
* interp/fortcall.boot (lmultiToUnivariate): Likewise.
(functionAndJacobian): Likewise.
(vectorOfFunctions): Likewise.
* interp/mark.boot (markMultipleExplicit): Likewise.
(markInsertBodyParts): Likewise.
* interp/nruncomp.boot (NRTaddDeltaCode): Likewise.
* interp/nrunopt.boot (NRTextendsCategory1): Likewise.
* interp/postpar.boot (postTransform): Likewise.
(postTran): Likewise.
(postPretend): Likewise.
(postConstruct): Likewise.
(postBlockItem): Likewise.
(postCategory): Likewise.
(postForm): Likewise.
(postTransScripts): Likewise.
(postJoin): Likewise.
(postMapping): Likewise.
(postCollect): Likewise.
(postInSeq): Likewise.
(postType): Likewise.
(post%Comma): Rename from postTuple.
(unComma): Rename from unTuple.
(comma2Tuple): Remove.
* interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple.
* interp/wi1.boot (compSetq1): Likewise.
(setqMultiple):Likewise.
* boot/translator.boot (compileBootHandler): Give up if
translation to Lisp contained errors.
* testsuite/compiler/aw-420.spad: New.
|
|
|
|
* interp/br-con.boot: Likewise.
* interp/br-data.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-op2.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/fortcall.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunopt.boot: Likewise.
|
|
Update all boot files to use `namespace' instead of `)package'.
* interp/: Likewise.
|
|
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/nrunfast.boot: Likewise.
* interp/package.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/record.boot: Likewise.
* interp/template.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
|
|
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
|
|
|
|
* interp/define.boot (compDefineFunctor1): Use setShellEntry.
(canCacheLocalDomain): Likewise.
(compilerCases): Likewise.
(doIt): Likewise.
* interp/functor.boot (setVector0): Likewise.
(setVector3): Likewise.
(setVector4part4): Likewise.
(setVector5): Likewise.
(mkVectorWithDeferral): Likewise.
(DescendCodeAdd1): Likewise.
(DescendCode): Likewise.
(ConsantCreator): Likewise.
(SetFunctionSlots): Likewise.
(CheckVector): Likewise.
* interp/g-opt.boot (optCall): Use getShellEntry.
(optSpecialCall): Likewise.
* interp/i-util.boot (devaluate): Likewise.
* interp/nruncomp.boot (buildFunctor): Use setShellEntry.
(NRTsetVector4a): Likewise.
(NRTputInLocalReferences): Use getShellEntry.
(NRTputInHead): Likewise.
* interp/nrunopt.boot (augmentPredVector): Use setShellEntry.
* interp/nruntime.boot (getShellEntry): New.
(setShellEntry): Likewise.
* interp/package.boot (processPackage): Use getShellEntry.
(PackageDescendCode): Use setShellEntry.
* interp/sys-globals.boot ($QuickCode): Remove.
* interp/template.boot (NRTdescendCodeTran): Use setShellEntry.
* interp/types.boot (%Void): New.
(%Shell): New.
* interp/wi2.boot (compDefineFunctor1): Use setShellEntry.
|
|
* interp/buildom.boot: Rewrite builtin domains to work with old
runtime scheme.
* interp/nruncomp.boot (NRTencode): Tidy.
* interp/nrungo.boot (basicLookup): lookupInTable is part of the
old runtime scheme too.
(lookupInDomain): Tidy.
(lookupInCategories): Simplify.
|
|
|
|
(MAKE-OUTSTREAM): Supersede existing files.
* interp/template.boot (makeTemplate): Use newDomainShell instead
of GETREFV.
(extendVectorSize): Likewise.
(mkSigPredVectors): Likewise.
(list2LongerVec): Likewise.
(measure): Remove.
(measureCommon): Likewise.
* interp/sys-utility.boot (loadNativeModule): New.
* interp/sys-os.boot: Import "cfuns" and "sockio".
(runProgram): New.
* interp/sys-globals.boot (/SOURCEFILES): Define here.
(/SPACELIST): Likewise.
* interp/sys-driver.boot ($OpenAxiomCoreModuleLoaded): New global
variable.
(AxiomCore::%sysInit): Load libopen-axiom-core if necessary.
($defaultMsgDatabaseName): Define here.
* interp/spad.lisp (|New,ENTRY,1|): Tidy.
* interp/sockio.lisp: Move import declarations to sys-os.boot.
Remove unused codes.
* interp/server.boot (serverReadLine): Use coreQuit instead of BYE.
* interp/pspad1.boot (formatMDEF): Tidy.
* interp/pspad2.boot (formatIf1): Tidy.
* interp/patches.lisp: Import "sys-driver". Remove
$CURRENT-DIRECTORY.
* interp/nruncomp.boot (buildFunctor): Use newDomainShell instead
of GETREFV.
* interp/nrunopt.boot (makeDomainTemplate): Likewise.
* interp/package.boot (processFunctorOrPackage): Likewise.
* interp/nlib.lisp (rdefiostream): Tidy.
* interp/monitor.lisp (monitor-autoload): Define when GCL.
* interp/interop.boot (oldAxiomCategoryDevaluate): Tidy.
* interp/i-toplev.boot (start): Don't set $CURRENT-DIRECTORY.
* interp/i-syscmd.boot (close): Use newDomainShell.
(leaveScratchpad): Use coreQuit instead of BYE.
(compileAsharpArchiveCmd): Use GET-CURRENT-DIRECTORY.
* interp/g-util.boot (newDomainShell): Define.
* interp/functor.boot (NewbFVectorCopy): Use newDomainShell.
* interp/daase.lisp (asharp): Use runProgram.
* interp/cfuns.lisp: Remove unused codes.
(directoryp): Move import declaration to sys-os.bot.
(writeablep): Likewise.
* interp/buildom.boot (Record0): Use newDomainShell instead of
GETREFV.
(coerceRe2E): Likewise.
(Union): Likewise.
(Mapping): Likewise.
(Enumeration): Likewise.
* interp/category.boot (mkCategory): Likewise.
* interp/Makefile.pamphlet (patches.$(FASLEXT)): Require
sys-driver.$(FASLEXT).
(sys-os.$(FASLEXT)): Require cfuns.$(FASLEXT), sockio.$(FASLEXT).
* algebra/view2D.spad.pamphlet: Use $ViewportServer instead of
VIEWPORTSERVER. Use sockSendInt instead of SOCK-SEND-INT.
Use sockSendFloat instead of SEND-SEND-FLOAT. Use sockSendString
instead of SOCK-SEND-STRING. Use sockGetInt instead of
SOCK-GET-INT. Use sockGetFloat instead of SOCK-SEND-FLOAT.
* algebra/view3D.spad.pamphlet: Likewise.
* interp/util.lisp (fe): Remove.
(fc): Likewise.
(interp-make-directory): Simplify.
(OLD-BOOT::BOOT): Don't declare *PRINT-PRETTY* and *PRINT-LENGTH*
special.
|
|
($insideCanCoerceFrom): Define.
* interp/setq.lisp: Remove more unused variables.
* interp/patches.lisp (/RF-1): Tidy.
* interp/server.boot (parseAndInterpret): Likewise.
* interp/packtran.boot ($useNewParser): Remove.
* interp/ht-util.boot (parseAndEval): Tidy.
* interp/clam.boot ($failed): Define.
* interp/g-timer.boot ($printStorageIfTrue): Likewise.
* interp/hashcode.boot ($DomainsWithoutLisplibs): Likewise.
* interp/i-coerce.boot ($useCoerceOrCroak): Likewise.
* interp/i-analy.boot ($univariateDomains): Likewise.
($multivariateDomains): Likewise.
* interp/i-object.boot ($useIntegerSubdomain): Likewise.
* interp/i-syscmd.boot ($existingFiles): Likewise.
* interp/newfort.boot ($fortranArrayStartingIndex): Likewise.
* interp/setvars.boot (resetWorkspaceVariables): Don't reset
$dependeeClosureAlist.
|
|
* interp/nruncomp.boot ($Slot1DataBase): Define here.
* interp/parse.boot ($oldParserExpandAbbrs): Likewise.
* interp/define.boot ($mutableDomains): Define here.
(compDefineFunctor1): Tidy.
(clearCmdCompletely): Don't set $functionTable.
|
|
* interp/i-map.boot: Likewise. Allocate fresh cell for $env.
* interp/i-spec1.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-toplev.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/sys-globals.boot: Likewise.
* interp/nruncomp.boot: Encode flag types too.
* interp/template.boot: Likewise.
* share/algebra: Update databases.
|
|
domain of computation is the add form.
|
|
|
|
($lookupDefaults): Define.
(newLookupInDomain): Look up in the add-chain first.
(newLookupInCategories): Likewise.
(lazyMatch): Quasiquote is now like a Mapping.
(newExpandLocalTypeForm): Quasiquote is no longer like QUOTE.
* nrungo.boot (lookupInDomainAndDefaults): New.
(compiledLookup): Use it.
|
|
|
|
|
|
constant 6.
(NRTcheckVector): Likewise.
(deepChaseInferences): Likewise.
|
|
(deltaTran): Likewise.
(genDeltaEntry): Likewise.
(genDeltaSpecialSig): Likewise.
(NRTassignCapsuleFunctionSlot): Likewise.
(genSlotSig): Likewise.
(NRTassocIndexAdd): Remove.
|
|
* nruncomp.boot ($NRTbase): Define as a constant.
* setq.lisp: Don't set it.
|
|
(compSymbol): Use condition type view for non Union objects.
(getUniqueCaseView): New. Subroutine of compSymbol.
(compForm2): Don't infer type for flag parameter through
unique compilcation.
(checkCallingConvention): New.
(compileQuasiquote): coerce, don't convert.
(compCase1): Handle non Union type object through modemap
selection.
(maybeSpliceMode): New. Subroutine of compCase1.
Register special form compiler with their names, not pointers.
* define.boot (candidateSignatures): New.
(hasSigInTargetCategory): Use it. Tidy.
(checkAndDeclare): Use isQuasiquote.
(spadCompileorSetq): Rename non atomic parameters before calling
LISP compiler.
* g-util.boot (quasiquote): New.
(isQuasiquote): Likewise.
* i-intern.boot (flagArguments): New.
(signatureFromModemap): Likewise.
(mkAtree3): Use them. Handle functions taking flag arguments.
* i-object.boot (getFlagArgsPos): New.
* i-spec1.boot (userDefinedCase): Now prepare form and hands back
to bottomUp.
(upcase): Adjust call to userDefinedCase.
* modemap.boot (addDomain): Don't add flag domains to the
environment.
* nruncomp.boot (NRTencode): Handle flag values.
(NRTgetLocalIndex1): Likewise.
* nrunfast.boot (lazyMatch): Likewise.
(newExpandLocalTypeForm): Likewise.
* sys-constants.boot ($DummyFunctorNames): Include quasiquote
constructor.
* template.boot (NRTaddInner): Handle flag values.
|
|
($createLocalLibDb): Likewise.
* clam.boot ($hashNode): Likewise.
* comp.lisp (|$compileDontDefineFunctions|): Likewise.
* compiler.boot ($compileOnlyCertainItems): Likewise.
* database.boot ($globalExposureGroupAlist): Likewise.
* define.boot ($newCompCompare): Likewise.
* format.boot ($permitWhere): Likewise.
* g-boot.boot ($inDefLET): Likewise.
($inDefIS): Likewise.
($letGenVarCounter): Likewise.
($isGenVarCounter): Likewise.
* g-error.boot ($ReadingFile): Likewise.
(handleLispBreakLoop): Remove special case on $cclSystem.
* g-timer.boot (computeElapsedTime): Likewise.
* g-util.boot ($interpOnly): Move from setq.lisp to here.
* i-funsel.boot ($domPvar): Likewise.
* i-object.boot ($immediateDataSymbol): Likewise.
* i-output.boot ($algebraOutputStream): Likewise.
(ERROROUTSTREAM): Likewise.
(ERRORINSTREAM): Likewise.
* i-spec2.boot ($InterpreterMacroAlist): Likewise.
* i-syscmd.boot ($NonNullStream): Likewise.
($NullStream): Likewise.
($localExposureDataDefault): Likewise.
($localExposureData): Likewise.
* lisplib.boot ($functionLocations): Likewise.
* msgdb.boot ($testingSystem): Likewise.
* nlib.lisp (get-directory-list): Tidy.
* nruncomp.boot ($devaluateList): Move from setq.lisp to here.
($functorLocalParameters): Likewise.
($insideCategoryPackageIfTrue): Likewise.
($profileCompiler): Likewise.
* nrunfast.boot ($doNotCompressHashTableIfTrue): Likewise.
* nrungo.boot ($insideCompileBodyIfTrue): Likewise.
* setvars.boot ($InitialCommandSynonymAlist): Likewise.
($CommandSynonymAlist): Likewise.
(setOutputLibrary): Simplify.
* spad.lisp (|$newCompCompare|): Don't set here.
(|$compileOnlyCertainItems|): Likewise.
* sys-constants.boot ($BasicPredicates): Include SYMBOLP.
($TriangleVariableList): Move from setq.lisp to here.
($Any): Likewise.
($Boolean): Likewise.
($SingleInteger): Likewise.
($QuotientField): Likewise.
($ComplexInteger): Likewise.
($OutputForm): Likewise.
($FunctionalExpression): Likewise.
($Expression): Likewise.
($AnonymousFunction): Likewise.
* sys-globals.boot (INPUT_-LIBRARIES): Likewise.
(OUTPUT_-LIBRARY): Likewise.
($newConlist): Likewise.
($compilingInputFile): Likewise.
($minivectorNames): Likewise.
|
|
(OCOBJS): Don't include xruncomp.$(FASLEXT) anymore.
* xruncomp.boot: Remove.
* compiler.boot (getFormModemaps): Merge from xruncomp.boot.
* functor.boot (LookUpSigSlots): Likewise.
* info.boot (actOnInfo): Likewise.
* modemap.boot (addModemap1): Likewise.
(evalAndSub): Likewise.
(substNames): Likewise.
(addConstructorModemaps): Likewise.
* nruncomp.boot (NRTencode): Likewise.
(genDeltaEntry): Likewise.
(NRTassignCapsuleFunctionSlot): Likewise.
(consDomainName): Likewise.
(changeDirectoryInSlot1): Likewise.
|
|
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* ast.boot.pamphlet (bfReduce): Compute left reduction, not right
reduction.
src/interp/
2007-11-18 Gabriel Dos Reis <gdr@cs.tamu.edu>
* Makefile.pamphlet (nrunopt.$(FASLEXT)): New rule.
(<<nrunopt.clisp>>): Remove.
* define.boot: Fix syntax.
* nruncomp.boot: Likewise.
* nrunopt.boot.pamphlet: Push into package "BOOT". Fix syntax.
* wi2.boot: Fix syntax.
|
|
|
|
|
|
|