aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2009-05-28 * interp/compiler.boot (compVector): Tidy code generation.dos-reis2-3/+7
(checkExternalEntity): Handle Builtin external entities. (compSignatureImport): Likewise. * algebra/boolean.spad.pamphlet (Boolean): Import Lisp function from Foreign Builtin. (KleeneTrivalentLogic): The constant `true' and `false' are now inherited.
2009-05-28Fix formattingdos-reis1-7/+7
2009-05-28 * interp/newaux.lisp: Bot / and /\ are gliphs.dos-reis4-7/+8
* interp/sys-constants.boot ($OperatorFunctionNames): Include /\ and \/. * interp/fnewmeta.lisp (|PARSE-ReductionOp|): Tidy. * interp/metalex.lisp (|PARSE-OperatorFunctionName|): Likewise. * algebra/boolean.spad.pamphlet (PropositionalLogic): Use plain syntax for operators. (Logic): Likewise. (Boolean): Likewise. (KleeneTrivalentLogic): Likewise.
2009-05-25 * interp/sys-constants.boot ($OperatorFunctionNames): New.dos-reis4-2/+19
* interp/metalex.lisp (|PARSE-OperatorFunctionName|): New. Use it. * interp/fnewmeta.lisp (|PARSE-Category|): Handle operator function names.
2009-05-21 * interp/cparse.boot (npQuantified): New.dos-reis1-13/+18
(npType): Use it. (npDefinitionOrStatement): Likewise. Accept quantified expressions. (npMatch): Remove. (npDef): Adjust. (npMonoType): Likewise. (npDiscrim): Recognize 'is' and 'isnt' patterns.
2009-05-19 * interp/vmlisp.lisp (LIST2VEC): Tidy.dos-reis5-13/+6
2009-05-19 * interp/i-analy.boot (bottomUpDefaultEval): A declared variabledos-reis1-1/+9
with no definition may be a symbolic variable with a specified type.
2009-05-17 * interp/cparse.boot (npTyping): Remove.dos-reis1-17/+0
(npDefaultItemlist): Likewise. (npSDefaultItem): Likewise. (npDefaultItem): Likewise. (npDefaultDecl): Likewise. (npStatement): Don't call npTyping. (npDefinitionItem): Likewise.
2009-05-11 * interp/property.lisp: "not" is prefix operator with "not " fordos-reis2-3/+3
rendering. * interp/i-output.boot ($allClassicOps): Include not. * algebra/boolean.spad.pamphlet (PropositionalFormula): Rework.
2009-05-10 Cope with SBCL-1.0.28 improvements.dos-reis1-0/+2
* boot/translator.boot (translateToplevel): Load imported modules. * boot/ast.boot ($constantIdentifiers): New. ($activeNamespace): Likewise. (bfSimpleDefinition): Likewise. (isDynamicVariable): Likewise. (shoeCompTran1): Tidy. Use it. * boot/parser.boot (bpSimpleDefinitionTail): Use bfSimpleDefinition. * boot/Makefile.in (stage1/%.clisp): Specify load directory. (stage2/%.clisp): Likewise. * lisp/core.lisp.in (startCompileDuration): Export. (endCompileDuration): Likewise.
2009-05-10 * interp/nrunopt.boot (makeGoGetSlot): Adjust call todos-reis1-11/+8
makeCompactSigCode. (makeCompactDirect1): Likewise. (makeCompactSigCode): Drop second parameter.
2009-05-10 * interp/g-opt.boot (emitIndirectCall): New.dos-reis1-16/+21
(optCall): Use it. (optSpecialCall): Likewise. (optSPADCALL): Tidy.
2009-05-09 * interp/compiler.boot (compApplication): Tidy.dos-reis1-2/+4
2009-05-05 Fix SF/2785271dos-reis5-14/+12
* interp/sys-constants.boot ($Primitives): Remove. * interp/br-con.boot (conOpPage1): Replace $Primitives by $DomainNames. (dbShowConsDoc1): Likewise. * interp/buildom.boot ($nonLisplibDomains): Likewise. * interp/br-op2.boot (kFormatSlotDomain): isConstructorName. * interp/br-saturn.boot (bfConform1): Handle string literals as constructor arguments.
2009-04-28 * interp/define.boot (canCacheLocalDomain): Remove dead code.dos-reis1-15/+0
2009-04-28 * interp/compiler.boot (compComma): Supply element type for tupledos-reis5-12/+18
construction. * interp/i-coerfn.boot (L2Tuple): Likewise. * interp/i-object.boot (asTupleNew): Likewise. (asTupleNew0): Likewise. (asTupleNewCode): Likewise. (asTupleNewCode0): Likewise. * interp/i-spec1.boot (evalCOLLECT): Likewise. (interpCOLLECT): Likewise. * interp/i-spec2.boot (evalTuple): Likewise. (upNullTuple): Likewise.
2009-04-27 Fix SF/2781848dos-reis4-9/+7
* interp/daase.lisp (make-databases): Build glossary files too. * interp/br-data.boot (buildGloss): gloss.text now lives in doc/. * interp/br-search.boot (grepSource): Likewise. * interp/ht-root.boot (htGlossPage): Likewise. * etc/Makefile.in (openaxiom_glossfiles): New. (mostlyclean-local): Remove them too. (stamp-databases): Now copy glossary files too. * doc/Makefile.in ($(OUT)/gloss.text): New rule. (stamp): Make it a prerequisite. * Makefile.pamphlet (all-databases): Make all-doc a prerequisite. (all-hyper-post): Likewise. * doc/gloss.text: Resurect.
2009-04-27 * interp/sys-macros.lisp (makeSimpleArrayFromList): New.dos-reis1-0/+3
* algebra/array1.spad.pamphlet (construct$PrimitiveArray): Implement. (copy$PrimitiveArray): Likewise. (IndexedOneDimensionalArray): Rework. Explicitly use PrimitiveArray(S) as representation domain.
2009-04-25 * algebra/strap/PRIMARR.lsp: Remove.dos-reis2-2/+3
2009-04-24 * algebra/syntax.spad.pamphlet (new$Identifier): New.dos-reis1-0/+1
2009-04-23 * algebra/strap/TSETCAT.lsp: Remove.dos-reis2-3/+7
* algebra/strap/TSETCAT-.lsp: Likewise.
2009-04-23 * interp/c-util.boot (extendsCategoryForm): Use current categorydos-reis2-1/+8
body instead of previous previous version of it. * algebra/Makefile.pamphlet: Remove ES from bootstrap layer. Build it (and dependencies) at layer 1. * algebra/strap/ES.lsp: Remove. * algebra/strap/ES-.lsp: Likewise. * algebra/boolean.spad.pamphlet (Boolean): Don't use outputForm.
2009-04-23 * interp/compiler.boot ($IOFormDomains): New.dos-reis1-3/+10
(compAtom): Allow implicit coercion to IO forms for values of fundamental types. (compSymbol): Likewise. (compQuote): Likewise. * algebra/aggcat.spad.pamphlet (coerce$BinaryRecursiveAggregate): Don't hard code empty bracket.
2009-04-23 * interp/sys-constants.boot ($SystemInlinableConstructorNames):dos-reis2-1/+2
Include Identifier. * interp/compiler.boot (compElt): Fix up 0 and 1 shenannigan. * algebra/boolean.spad.pamphlet (Reference): Use Identifier. * algebra/Makefile.pamphlet (axiom_algebra_bootstrap): Remove REF. (axiom_algebra_bootstrap_last_layer): Likewise. * algebra/strap/REF.lsp: Remove.
2009-04-20 * interp/sys-constants.boot ($Identifier): New.dos-reis3-1/+9
* interp/compiler.boot (compQuote): Use the target mode if appropriate. * interp/i-spec2.boot (upQUOTE): Likewise. * algebra/syntax.spad.pamphlet: Use Identifier in lieu of Symbol.
2009-04-20 * interp/br-con.boot: Use textEditor() to get editor program.dos-reis5-10/+13
* interp/br-saturn.boot: Likewise. * interp/compat.boot: Likewise. * interp/i-util.boot (textEditor): Define here. * interp/g-util.boot: Likewise.
2009-04-20 * interp/msgdb.boot (substituteSegmentedMsg): Handle %x specifier.dos-reis1-0/+2
2009-04-20 * boot/ast.boot (genECLnativeTranslation): Tidy.dos-reis1-5/+33
(genSBCLnativeTranslation): Likewise. * interp/compiler.boot (emitLocalCallInsn): Likewise. (compForm1): Allow package call to external function. (compElt): Likewise. (getExternalSymbolMode): New. (compForeignPackageCall): Likewise.
2009-04-19 * algebra/mkfunc.spad.pamphlet (tuplify$InputForm): Tidy.dos-reis1-1/+15
* interp/i-output.boot (parms2String): New. (inputForm2String): Handle anonymous functions.
2009-04-18 Fix SF/2757715dos-reis1-1/+1
* Makefile.pamphlet (all-input): Make all-doc a requirement. (all-doc): Tidy. * doc/Makefile.in: Likewise. Install help files. * doc/help: New. Home for help files.
2009-04-16 Fix SF/2763053dos-reis1-3/+3
* interp/sys-os.boot ($NaNvalue): Remove. (quietDoubleNaN): Import. * include/cfuns.h (quiet_double_NaN): Rename from NANQ. * lib/cfuns-c.c (quiet_double_NaN): Likewise. * algebra/draw.spad.pamphlet: Replace $NaNvalue with quietDoubleNaN. * algebra/plot.spad.pamphlet: Likewise. * algebra/plot3d.spad.pamphlet: Likewise.
2009-04-15 Fix SF/2760823dos-reis4-9/+11
* interp/sys-driver.boot (systemMain): Explicitly call toplevel REPL for SBCL- and ECL-based builds. * interp/i-toplev.boot (start): Don't special case SBCL here. * interp/int-top.boot (spad): Likewise. (intloop): Tidy call to SpadInterpretStream. (SpadInterpretStream): Don't store to $fn. * interp/msg.boot (toFile?): Don't check for $fn.
2009-04-14 Fix SF/2760823 dos-reis2-0/+2
* interp/int-top.boot (spad): Return 0 for when SBCL is base Lisp runtime. * interp/i-toplev.boot (start): Likewise.
2009-04-12 Fix SF/2754400dos-reis2-1/+5
* interp/setvars.boot (setOutputFortran): Transform pathname from symbol to string. * testsuite/interpreter/sf-2754400.input: New.
2009-04-11 Fix SF/2749682dos-reis1-1/+1
* interp/sys-os.boot ($NaNvalue): Fix typo. * testsuite/interpreter/sf-2749682.input: New.
2009-04-08 * interp/scan.boot (scanCheckRadix): Take the radix in string form.dos-reis3-16/+20
Croak on missing digit after radix. (scanNumber): Don't ask for implicit 0 completion for explicit radix integers. * interp/int-top.boot (phInterpret): Don't bother evaluating expressions if earlier phases saw errors. * interp/msg.boot (getStFromMsg): Fix typo.
2009-03-26 * boot/ast.boot (nativeType): Accept int16 and int32.dos-reis2-5/+12
(getFFIDatatype): Accept ReadWrite modifier. * algebra/data.spad.pamphlet (Int32): New. (UInt64): Likewise. * algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT64 and UINT64.
2009-03-08 * interp/fnewmeta.lisp (PARSE-Import): Parse extern entitydos-reis7-26/+165
signature import. * interp/functor.boot (encodeLocalFunctionName): New. * interp/define.boot (compDefine1): Avoid getAbbreviation. (doIt): Handle %SignatureImport nodes. * interp/compiler.boot (emitLocalCallInsn): New. (applyMapping): Use it. (compApplication): Likewise. (bootDenotation): New. (getBasicFFIType): Likewise. (getFFIDatatype): Likewise. (getBootType): Likewise. (checkExternalEntityType): Likewise. (checkExternalEntity): Likewise. (removeModifiers): Likewise. (compSignatureImport): Likewise. * interp/vmlisp.lisp (|compileLispDefinition|): New. * interp/boot-pkg.lisp: Import genImportDeclaration. * boot/initial-env.lisp: Export genImportDeclaration. * boot/ast.boot: Tidy. Accept `readwrite' modifier.
2009-03-02 * interp/compiler.boot (modeIsAggregateOf): Use RepIfRepHack.dos-reis4-8/+11
* interp/g-opt.boot (optimizeFunctionDef): Tidy. * interp/i-syscmd.boot (compileSpad2Cmd): Support ')report' option. * interp/sys-driver.boot (initializeGlobalState): Likewise.
2009-03-01(no commit message)dos-reis1-0/+4
2009-03-01 * interp/g-opt.boot (optimize): Remove non-qualifieddos-reis1-8/+6
interpretation of 'false' and 'true'. (optCond): Emit 'NOT', not 'NULL'. (optIF2COND): Likewise. (EqualBarGensym): Tidy.
2009-03-01 * interp/compiler.boot (compTopLevel): Initialize list ofdos-reis6-11/+50
optimizable domain constructors. (processInlineRequest): New. * interp/define.boot (spadCompileOrSetq): Tidy. (mutateToNothing): New. (doIt): Use it. Add support for inline directives. * interp/fnewmeta.lisp (PARSE-Inline): New. * interp/metalex.lisp (KEYWORDS): Include 'inline'.
2009-03-01 Optimization should not change slot numbers.dos-reis1-3/+4
2009-02-28 * interp/define.boot (NRTPARSE): Remove.dos-reis2-51/+7
(mkCategoryPackage): Remove dead code. (compDefineFunctor1): Tidy. (compDefineCapsuleFunction): Likewise. (compileCases): Likewise.
2009-02-28Revert accidental changedos-reis1-0/+8
2009-02-28(no commit message)dos-reis1-8/+0
2009-02-23 * interp/compiler.boot (compAtom): Don't interpret 'nil' as emptydos-reis1-9/+4
vector. (compSymbol): Don't interpret 'true' and 'false' as Boolean constants if domain Boolean is not in scope. * algebra/any.spad.pamphlet (Property): Tidy. * algebra/asp.spad.pamphlet (Asp34): Likewise. * algebra/functions.spad.pamphlet (BasicFunctions): Likewise. * algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator): Likewise. * algebra/groebsol.spad.pamphlet: Import Boolean.
2009-02-22Remove unused code.dos-reis1-274/+1
2009-02-22 * interp/msgdb.boot: Avoid SETANDFILEQ.dos-reis1-9/+8
2009-02-22 * interp/compiler.boot (compRetractAlternative): Don't storedos-reis3-16/+16
pointers to the environment. (compRecoverAlternative): Likewise. (compMatch): Likewise. (compIterator): Likewise. (compIteratorV): Likewise. * interp/define.boot (checkRepresentation): Likewise. * interp/info.boot (actOnInfo): Likewise.
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-09 20:09:25 +0000