aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
AgeCommit message (Collapse)AuthorFilesLines
2010-07-28 * interp/spad.lisp (DIVIDE2): Remove.dos-reis1-0/+17
* interp/vmlisp.lisp (QSQUOTIENT): Likewise. (QSREMAINDER): Likewise. * interp/buildom.boot: Use quo and rem in leur of QUOTIENT and REMAINDER or variants. * interp/g-timer.boot: Likewise. * interp/g-util.boot: Likewise. * interp/htsetvar.boot: Likewise. * interp/i-output.boot: Likewise. * interp/incl.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/nrungo.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/topics.boot: Likewise.
2010-07-28 * interp/sys-globals.boot ($VariableCount): Remove.dos-reis1-1/+9
* interp/spad.lisp (QUOTIENT2): Remove. (REMAINDER2): Likewise. * algebra/integer.spad.pamphlet (Integer): Use builtin %idivide. * algebra/si.spad.pamphlet (SingleInteger): Likewise.
2010-07-28 * algebra/integer.spad.pamphlet (Integer): Use builtin functionsdos-reis1-0/+6
%irem and %iquo. * algebra/si.spad.pamphlet (SingleInteger): Likewise.
2010-07-28 * interp/g-opt.boot: Transform %iquo and %irem expressions.dos-reis1-0/+5
($VMsideEffectFreeOperators): Include %irem and %iquo.
2010-07-27 * boot/tokens.boot: quo and rem are now keywords and infix operators.dos-reis1-0/+7
* boot/parser.boot (bpEuclid): New. Parse integer quotient and remainder expressions. (bpMinus): Now build on bpEuclid instead of bpTimes.
2010-07-27 * interp/i-analy.boot (bottomUpCompile): Use massageBackendCode indos-reis1-0/+5
lieu of mutateToBackendCode.
2010-07-27 * interp/types.boot (%Code): Include %Char.dos-reis1-0/+6
* interp/c-util.boot (middleEndExpand): Temporarilty Comment out signature.
2010-07-26 * interp/g-opt.boot (optCond): Work harder at denesting nesteddos-reis1-0/+5
if-expressions.
2010-07-26 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include newdos-reis1-0/+14
opcodes %icst0, %icst1, %when, and %ccst. * interp/g-util.boot: Expand %ccst. * algebra/alql.spad.pamphlet: Clean up. * algebra/array1.spad.pamphlet: Likewise. * algebra/c02.spad.pamphlet: Likewise. * algebra/d03.spad.pamphlet: Likewise. * algebra/e04.spad.pamphlet: Likewise. * algebra/integer.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet: Likewise. * algebra/string.spad.pamphlet: Likewise.
2010-07-26 * algebra/si.spad.pamphlet (SingleInteger): Tidy.dos-reis1-0/+6
* interp/g-opt.boot (simplifyVMForm): Expand %icst0 and %icst1. (optIlt): Fold more configurations.
2010-07-26 * interp/g-opt.boot (optCond): Simplify newly built COND-expression.dos-reis1-0/+4
2010-07-26 * interp/g-opt.boot (optimize): Remove as no longer used.dos-reis1-0/+7
* interp/define.boot (DomainSubstitutionFunction): Use simplifyVMForm in lieu of optimize. * interp/nruncomp.boot (NRTsetVector4a): Likewise.
2010-07-26 * interp/g-opt.boot (oprCond): Replace use of TruthP with directdos-reis1-0/+5
comparison to %true.
2010-07-25 (optCallSpecially): Remove deadcode.dos-reis1-0/+1
2010-07-25 * interp/g-opt.boot (optCall): Don't call optimize again.dos-reis1-0/+4
2010-07-25 * interp/g-opt.boot (simplifyVMForm): Don't call optimize.dos-reis1-0/+5
(optCall): Handle VM macro expansions here.
2010-07-25 * interp/g-opt.boot (resetTo): New.dos-reis1-0/+9
(optCatch): Use it. (optCall): Likewise. (optSpecialCall): Likewise. (simplifyVMForm): Handle simple cases here. * interp/macros.lisp (RPLACW): Remove.
2010-07-25 * interp/g-opt.boot (optIadd): More simplification if either dos-reis1-0/+7
operand is zero. (optIsub): Likewise. (optImul): More simplifications if either operand is one.
2010-07-25 * interp/c-util.boot (usedSymbol?): Move to g-util.boot.dos-reis1-0/+5
* interp/nruncomp.boot (NRTsetVector4a): Tidy.
2010-07-25 * interp/cattable.boot: Use %true for truth value in VM expressions.dos-reis1-0/+16
* interp/clam.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/mark.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/slam.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/sys-constants.boot: Remove $true and $false as unused.
2010-07-24 * interp/compiler.boot (compMatchAlternative): Don't generatedos-reis1-0/+6
LET-expressions. * interp/g-opt.boot (optBind): Tidy.
2010-07-23 * interp/g-opt.boot (optBind): Check for dependencies indos-reis1-0/+7
initializations in %bind expressions. * interp/g-util.boot (expandBind): The body of s %bind expression may be a sequence of statements.
2010-07-23 * interp/g-util.boot: Remove expansion for %ble, %bgt, %bge.dos-reis1-0/+4
* interp/g-opt.boot (optMINUS): Remove. (opt_-): Likewise. (optBle): New. (optBgt): Likewise. (optBge): Likewise.
2010-07-23 * interp/g-opt.boot (optMINUS): Remove.dos-reis1-0/+5
(opt_-): Likewise.
2010-07-23 * interp/g-util.boot (expandFeq): New.dos-reis1-0/+5
* algebra/sf.spad.pamphlet (DoubleFloat): Tidy.
2010-07-22 * interp/g-util.boot (expandIeq): New expander for %ieq.dos-reis1-0/+10
* interp/g-opt.boot (optIeq): New. (optIadd): Likewise. (optIsub): Likewise. (optImul): Likewise. (optIneg): Likewise. (lispize): Remove.
2010-07-22 * interp/g-opt.boot (simplifyVMForm): New.dos-reis1-0/+12
(optRetract): Simplify the predicate when possible. (optNot): New transformer. (optAnd): Likewise. (optOr): Likewise. (optIlt): Likewise. (optIle): Likewise. (optIgt): Likewise. (optIge): Likewise.
2010-07-22 * algebra/data.spad.pamphlet (Byte) [~]: Tidy.dos-reis1-0/+6
(SystemNonNegativeInteger) [~]: Likewise. * interp/g-util.boot: Better expansion of byte operations.
2010-07-19 * interp/g-opt.boot ($VMsideEffectFreeOperators): Includedos-reis1-0/+14
byte relation operators and bitmakst operators. * interp/g-util.boot: Expand them. * algebra/data.spad.pamphlet (Byte): Now satisfies Logic. Tidy. (SystemNonNegativeInteger): Likewise. * algebra/java.spad.pamphlet (JVMBytecode): Rename from JavaBytecode. (JVMClassFileAccess): New. (JVMFieldAccess): Likewise. (JVMMethodAccess): Likewise. (JVMConstantTag): Likewise. (JVMOpcode): Likewise.
2010-07-18 * boot/tokens.boot: Add char? as builtin function.dos-reis1-0/+7
* interp/i-output.boot (appChar): Fix thinko. (outformWidth): Likewise. (WIDTH): Likewise.
2010-07-13 * interp/g-opt.boot: %sname is a side-effect free operator.dos-reis1-0/+7
* interp/g-util.boot: Expand it. * algebra/syntax.spad.pamphlet (Identifer): Now satisfies CoercibleTo String.
2010-07-11 * interp/database.boot (markUnique): Remove.dos-reis1-0/+19
($FunctionDescriptorTail): Likewise. (getOperationAlistFromLisplib): Likewise. (getOplistForConstructorForm): Adjust. * interp/br-op1.boot (getDomainOpTable): Likewise. * interp/br-op2.boot (koOps): Likewise. * interp/define.boot (genDomainViewList): Likewise. * interp/i-analy.boot (namedConstant): Likewise. * interp/i-coerce.boot (getConstantFromDomain): Likewise. * interp/i-funsel.boot (isOpInDomain): Likewise. (findCommonSigInDomain): Likewise. (findUniqueOpInDomain): Likewise. (hasSig): Likewise. * interp/i-spec2.boot (constantInDomain?): Likewise. * interp/trace.boot (spadTrace): Likewise. * interp/lisplib.boot (transformOperationAlist): Simplify.
2010-07-10 * interp/database.boot (addConsDB): Remove.dos-reis1-0/+7
(getOperationAlistFromLisplib): Don't call it. * interp/sys-driver.boot (initializeGlobalState): Remove kludge. * interp/util.lisp (BUILD-INTERPSYS): Likewise.
2010-07-10 * interp/database.boot (addConsDB): Move from mapConsDB.dos-reis1-0/+6
* interp/nruncomp.boot (mapConsDB): Remove. (catList2catPackageList): Likewise.
2010-07-10 * interp/functor.boot (setVector4): Remove. Deadcode.dos-reis1-0/+14
(setVector4Onecat): Likewise. (setVector4part3): Likewise. * interp/nruncomp.boot (NRTsetVector4): Likewise. (NRTsetVector4Part2): Likewise. (mergeAppend): Likewise. * interp/define.boot (compDefineFunctor1): Remove assignment to unused $lisplibCategoriesExtented. * interp/lisplib.boot (compDefineLisplib): Likewise. * interp/wi1.boot (compDefineLisplib): Likewise. * interp/wi2.boot (compDefineFunctor1): Likewise.
2010-07-10 * interp/nruncomp.boot (buildFunctor): Remove deadcode.dos-reis1-1/+5
2010-07-10 * interp/sys-utility.boot (minimalise): Move from compress.boot.dos-reis1-0/+9
Rewrite local worker to use explicit hash table parameter instead of special variable. * interp/compress.boot (minimalise): Move to sys-utility.boot. Delete file. * interp/nruncomp.boot (buildFunctor): Don't bother to minimalise.
2010-07-10 * interp/sys-constants.boot ($noEnv): Remove.dos-reis1-0/+5
* interp/info.boot (actOnInfo): Adjust.
2010-07-10 * interp/functor.boot (SetFunctionSlots): Simplify. The outerdos-reis1-0/+5
loop was executed only once.
2010-07-05 * interp/compiler.boot (compTopLevel): Bind $whereDecls.dos-reis1-0/+10
(recordDeclarationInSideCondition): New. Update it. (compWhere): Call it. * interp/define.boot ($whereDecls): Define at toplevel. (typeDependencyPath): New. (inferConstructorImplicitParameters): Likewise. (compDefineFunctor1): Use it.
2010-07-03 * interp/category.boot (isCategoryForm): Tidy.dos-reis1-0/+8
* interp/compiler.boot (compMacro): Handle parameterized definition. * interp/define.boot (macroExpand): Likewise. (macroExpandList): Move case for niladic macros to macroExpand. * interp/g-util.boot (putMacro): New utility function.
2010-07-03 * interp/define.boot (macroExpand): Tidy. Only identifiers aredos-reis1-0/+5
allowed to be macro names.
2010-07-03 * algebra/vector.spad.pamphlet (DualBasis): New.dos-reis1-0/+7
(LinearBasis): Likewise. (LinearElement): Use them. (LinearForm): New.
2010-07-01 * interp/define.boot (registerInlinableDomain): New.dos-reis1-0/+9
(compAdd): Use it to promote base domains for inlining. * interp/c-util.boot (lookupFunctionInstance): Foeld into lookupDefiningFunction. Remove. (lookupDefiningFunction): Evaluate only system domains to avoid cycles.
2010-06-30 * interp/c-util.boot (giveVariableSomeValue): New.dos-reis1-0/+16
* interp/compiler.boot (setqMultiple): Use it. (compColon): Likewise. (compRetractGuard): Likewise. (compRecoverDomain): Likewise. (defineMatchScrutinee): Likewise. (compStepIterator): Likewise. (compIterator): Likewise. (compUnnamedMapping): Likewise. * interp/define.boot (giveFormalParametersValues): Likewise. * interp/wi1.boot (setqMultiple): Likewise. * interp/wi2.boot (compIterator): Likewise. (smallIntegerStep): Likewise.
2010-06-30 * algebra/vector.spad.pamphlet (LinearElement): New.dos-reis1-0/+4
2010-06-30 * interp/c-util.boot (getRepresentation): Tidy.dos-reis1-0/+6
* interp/define.boot (checkRepresentation): Don't compile the base domain here yet.
2010-06-29 * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject)dos-reis1-0/+7
[indexedDirectProductObject]: New. (IndexedDirectProductAbelianMonoid): Rework implementation. [construct]: Likewise.
2010-06-29 * algebra/catdef.spad.pamphlet (OrderedType): New.dos-reis1-0/+4
2010-06-29 * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.dos-reis1-0/+7
(OrderedType) [max,min]: Export and provide defaults. (OrderedSet): Simplify. (SetCategory) [before?]: Move to BasicType.