aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2009-06-12 Support retract of domains.dos-reis3-2/+26
* interp/i-funsel.boot (findFunctionInDomain): Don't look into categories. * interp/i-coerce.boot (retract): Retract domain objects too. (retract1): Do it. (coerceInteractive): Likewise. * interp/nrunfast.boot (getDomainCategoriesVector): New. (getDomainCompleteCategories): Likewise.
2009-06-11 * interp/newaux.lisp: Remove digraphs '(<' and '>) as alternatedos-reis4-43/+36
spelling for '{' and '}'. * interp/fnewmeta.lisp (|PARSE-Primary1|): Use PARSE-Data for quoted forms. (|PARSE-Sexpr1|): Tidy. * interp/parse.boot (washOperatorName): New. Issue deprecation diagnostics for string syntax for operator names in signatures. (parseHas): Use it. (transCategoryItem): Likewise. * interp/metalex.lisp (advance-token): Likewise. * algebra/boolean.spad.pamphlet: Tidy.
2009-06-11 * interp/info.boot (actOnInfo): Don't remember new domain names ifdos-reis1-2/+4
at capsule function scope.
2009-06-10 * interp/parse.boot (parseDropAssertions): Remove.dos-reis2-10/+1
(parseCategory): Don't call it. * interp/nrungo.boot (lookupPred): Don't check for "asserted".
2009-06-10 * interp/parse.boot (parseHas): Preserve unnamed category forms.dos-reis5-15/+25
* interp/i-funsel.boot (hasCaty): Recursively look into Joins. * interp/interop.boot (newHasCategory): Likewise. * interp/compiler.boot (compHasFormat): Handle unnamed categories. * interp/info.boot (knownInfo): Likewise.
2009-06-09 * interp/i-coerfn.boot (Expr2Up): Fix regression introduced bydos-reis1-2/+5
name$Kernel removal.
2009-06-09 * interp/compiler.boot (compLogicalNot): Tidy.dos-reis2-2/+9
* interp/define.boot (doIt): Tidy conditional case. * boot/tokens.boot: 'fourth' is a now a builtin function.
2009-06-08 Fix SF/2799773dos-reis3-10/+41
* interp/c-util.boot (diagnoseUnknownType): Diagnose duplicate fields in Record or Union, or duplicate constants in Enumeration. * interp/i-eval.boot (checkRecordOrUnionFields): New. (evaluateType): Use it. * testsuite/interpreter/sf-2799773.input: New.
2009-06-07 * algebra/domain.spad.pamphlet (DomainTemplate): New.dos-reis2-6/+6
(FunctorData): Likewise. (functorData$DomainConstructor): Likewise.
2009-06-01 Simplify compiler ast for `return' expressions.dos-reis2-12/+1
* interp/parse.boot (parseReturn): Remove. * interp/compiler.boot (compReturn): Tidy.
2009-06-01 * interp/compiler.boot (compGreaterThan): Remove.dos-reis2-12/+0
* interp/parse.boot (parseGreaterEqual): Likewise.
2009-06-01 * interp/compiler.boot (compGreaterThan): New. Compiledos-reis4-7/+10
greater-than expressions. * interp/parse.boot (parseGreaterThan): Remove. * algebra/data.spad.pamphlet (Byte): Implement all comparison functions. * algebra/integer.spad.pamphlet (Integer): Likewise. * algebra/sf.spad.pamphlet (DoubleFloat): Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/string.spad.pamphlet (Character): Likewise.
2009-05-29 * interp/compiler.boot (getSuccessEnvironment): Tidy.dos-reis1-15/+22
(getInverseEnvironment): Likewise. (compLogicalNot): Don't normalize to if-statement.
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.