aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2012-05-04 * interp/clam.boot (compHash): Use compQuietly in lieu ofdos-reis1-1/+1
compileInteractive.
2012-05-04 * interp/lisp-backend.boot (assembleCode): New.dos-reis2-14/+9
* interp/c-util.boot (backendCompileSPADSLAM): Use it. (backendCompile2): Likewise.
2012-05-04 * interp/clam.boot ($hashNode): Remove.dos-reis1-50/+1
(compHashGlobal): Likewise.
2012-05-04 * interp/clam.boot (compHash): Avoid unnecessary gensyms.dos-reis1-11/+11
2012-05-04 * interp/buildom.boot (lookupDisplay): Tidy.dos-reis2-2/+3
* interp/clam.boot (compHash): Likewise.
2012-05-04 * interp/vmlisp.lisp (THROW-PROTECT): Remove.dos-reis1-15/+0
(MDEF): Likewise. (NUM2CHAR): Likewise. (CHAR2NUM): Likewise.
2012-05-03 * interp/vmlisp.lisp ($lamName): Remove.dos-reis2-49/+0
(LAM): Likewise. (*LAM): Likewise. (ISQUOTEDP): Likewise. (QUOTESOF): Likewise. (DDQUOTE): Likewise. * interp/lisp-backend.boot (COMPILE1): Simplify.
2012-05-03 * interp/c-util.boot: Use LAMBDA type in lieu of LAM.dos-reis5-15/+13
* interp/clam.boot: Likewise. * interp/define.boot: Likewise. * interp/lisp-backend.boot (COMPILE1): Tidy. * interp/slam.boot: Likewise.
2012-05-03 * interp/g-opt.boot ($AbstractionOperator): Remove SLAM.dos-reis2-42/+8
* interp/c-util.boot (backendCompileSLAM): Remove. (backendCompileSPADSLAM): Tidy. (backendCompile2): Adjust.
2012-05-03 * interp/define.boot (compDefineFunctor1): Use LAMBDA for thedos-reis4-10/+7
resulting functor if not cachable. * interp/clam.boot (compClam): Tidy. (compHash): Likewise. (compHashGlobal): Likewise. * interp/i-eval.boot (evalForm): Use LAMBDA, not LAM. * interp/i-coerce.boot (getSubDomainPredicate): Use %lambda not LAM.
2012-05-03 * interp/c-util.boot (makeWorkerName): New.dos-reis2-17/+13
(backendCompileSLAM): Use it. (backendCompileSPADSLAM): Likewise. * interp/clam.boot (compHash): Likewise. Do not synthetize new parameter for unary constructors.
2012-05-03 * interp/c-util.boot: Use APPLY, not APPLX.dos-reis5-11/+8
* interp/clam.boot: Likewise. * interp/i-output.boot: Likewise. * interp/slam.boot: Likewise. * interp/vmlisp.lisp (APPLX): Remove.
2012-05-02 * interp/c-util.boot (backendCompileSPADSLAM): Do not devaluatedos-reis1-10/+11
argument list. Tidy.
2012-05-02 * interp/c-util.boot (backendCompileSPADSLAM): Tidy. Do notdos-reis1-9/+8
devaluate argument of unary constructors.
2012-05-02 * interp/vmlisp.lisp (COMPILE1): Move to lisp-backend.boot.dos-reis2-35/+32
($lamName): Rename from *LAM-NAME*.
2012-05-01 * interp/vmlisp.lisp (REMOVE-FLUIDS): Move to lisp-backend.boot.dos-reis2-31/+30
Rename to removeFluids. (SIMPLE-ARGLIST): Move to lisp-backend.boot. Rename to simpleParameterList?.
2012-05-01 * interp/vmlisp.lisp (COMP370): Move to c-util.bootdos-reis3-10/+9
(compileLispDefinition): Move to lisp-backend.boot.
2012-05-01 * interp/i-special.boot (interpREPEAT): Use CATCH directly.dos-reis3-36/+3
* interp/int-top.boot (intloopSpadProcess): Likewise. * interp/sys-macros.lisp (funcall): Remove. (Catch): Likewise. (Throw): Likewise. (UnwindProtect): Likewise. (SPADCATCH): Likewise. (SPADTHROW): Likewise. (YIELD): Likewise.
2012-05-01 * algebra/integer.spad.pamphlet (Integer): Use %iaddmod, %isubmod,dos-reis8-59/+17
%imulmod. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * interp/c-util.boot (devaluate): Use # in lieu of QVSIZE. * interp/g-opt.boot: %ilfshift and %irshift are now builtin side-effect free operations. * interp/lisp-backend.boot: Translate them. * interp/g-util.boot (mergeSort): Avoid QSDIFFERENCE. * interp/slam.boot: Likewise. * interp/sys-macros.lisp: Likewise. * interp/macros.lisp: Avoid QVMAXINDEX. * interp/vmlisp.lisp (QSDIFFERENCE): Remove. (QSGREATERP): Likewise. (QSLEFTSHIFT): Likewise. (QSLESSP): Likewise. (QSMAX): Likewise. (QSMIN): Likewise. (QSMINUS): Likewise. (QSMINUSP): Likewise. (QSODDP): Likewise. (QSABSVAL): Likewise. (QSPLUS): Likewise. (QSZEROP): Likewise. (QVMAXINDEX): Likewise. (QVSIZE): Likewise. (ZERO?): Likewise.
2012-04-30 * algebra/si.spad.pamphlet (SingleInteger): Use %iaddmod,dos-reis2-20/+13
%isubmod, and %imulmod. * interp/g-opt.boot: These are now builtin side-effect operators. (optIaddmod): New optimizer. Register. (optIsubmod): Likewise. (optImulmod): Likewise. * interp/sys-macros.lisp (QSADDMOD): Remove. (QSDIFMOD): Likewise. (QSMULMOD): Likewise.
2012-04-30 * interp/compiler.boot: Use float? in lieu of FLOATP.dos-reis15-51/+31
* interp/fortcall.boot: Likewise. * interp/i-object.boot: Likewise. * interp/newfort.boot: Likewise. * interp/i-analy.boot: Compare to 0 in lieu of ZEROP. * interp/i-special.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/sfsfun.boot: Likewise. * interp/sys-driver.boot: Likewise. * interp/macros.lisp: Directly use 1+ instead of QADD1. * interp/preparse.lisp: Likewise. * interp/slam.boot: Likewise. * interp/sys-macros.lisp: Likewise. * interp/sys-constants.boot ($BasicPredicates): Remove as unused. * interp/vmlisp.lisp (ADD1): Remove. (QSADD1): Likewise. (QSSUB1): Likewise. (QSTIMES): Likewise.
2012-04-30 * interp/fortcall.boot: Use copyTree, not COPY-TREE.dos-reis6-118/+104
* interp/i-intern.boot: Likewise. * interp/setvars.boot: Likewise. * interp/i-output.boot: Use abstractChar, not EBCDIC. * interp/i-util.boot: Likewise. * interp/vmlisp.lisp (EBCDIC): Remove. (CALLBELOW): Likewise. (RE-ENABLE-INT): Likewise. (QUOREM): Likewise.
2012-04-30 * lisp/core.lisp.in (fixnum?): New.dos-reis8-71/+25
* algebra/sex.spad.pamphlet: Use %float? instead of RNUM. Use %integer? instead of INTP. * interp/g-timer.boot: Use float? instead of RNUMP. * interp/i-coerce.boot: Use fixnum? instead of SINTP or SMINTP. * interp/i-intern.boot: Likewise. * interp/lisp-backend.boot: Likewise. * interp/slam.boot: Likewise. * interp/trace.boot: Likewise. * interp/vmlisp.lisp: Likewise. (INTP): Remove. (BINTP): Likewise. (LESSP): Likewise. (LINTP): Likewise. (MAKESTRING): Likewise. (MAPELT): Likewise. (NUMP): Likewise. (RNUMP): Likewise. (SINTP): Likewise. (SMINTP): Likewise.
2012-04-29 * interp/debug.lisp: ident? in lieu of IDENTP.dos-reis5-44/+37
* interp/macros.lisp: Likewise. * interp/parsing.lisp: Likewise. * interp/sys-macros.lisp: Likewise. * interp/vmlisp.lisp: Likewise. (IDENTP): Remove.
2012-04-29 * boot/ast.boot (bfNumber?): Rename from bfSmintable. Check fordos-reis1-0/+21
floating point literals too. Adjust callers. (bfLessp): Check for integer or floating pointer numbers. * interp/vmlisp.lisp (complex?): New. (complex): Likewise. (realPart): Likewise. (imagPart): Likewise. (conjugate): Likewise. (sqrt): Likewise.
2012-04-28 * interp/compiler.boot (finishLambdaExpression): Tidy.dos-reis2-3/+7
(compWithMappingMode): Use %lambda not LAMBDA. * interp/g-opt.boot (changeVariableDefinitionToStore): Handle %closure.
2012-04-28 * interp/boot-pkg.lisp (gensym?): Check for non-null object.dos-reis8-28/+26
* interp/clammed.boot: Use it in lieu of GENSYMP. * interp/debug.lisp: Likewise. * interp/g-opt.boot: Likewise. * interp/g-util.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/trace.boot: Likewise. * interp/vmlisp.lisp (GENSYMP): Remove.
2012-02-27 * interp/nruncomp.boot (markOperation): New.dos-reis2-9/+11
(optDeltaEntry): Implement better patch for last change. * interp/compiler.boot (compFormWithModemap): Undo last change.
2012-02-27 * interp/compiler.boot (compFormWithModemap): Mark implementationdos-reis1-6/+8
resolution as appropriate.
2012-02-27 * interp/compiler.boot (emitLocalCallInsn): Mark externaldos-reis2-8/+12
operators as such, and local functions as such. (freeVarUsage): Do not count external and local functions. (extractCode): Tidy. Handle closure literals. * interp/g-opt.boot (optCall): Optimize external calls where possible. %external is a side-effect free operator.
2012-02-26 * interp/g-util.boot (usedSymbol?): Remove.dos-reis4-27/+28
(bindingForm?): New. (usesVariable?): Likewise. * interp/compiler.boot (declareUnusedParameters): Use it. * interp/g-opt.boot (inlineLocals): Likewise. (optClosure): Likewise. (optBind): Likewise. * interp/define.boot (compContained): Remove.
2012-02-26 * interp/c-util.boot (numOfOccurencesOf): Tidy.dos-reis3-3/+6
* interp/compiler.boot (compUnnamedMapping): Fix thinko. * interp/g-opt.boot (semiSimpleRelativeTo?): Likewise.
2012-02-26 * interp/compiler.boot (compTopLevel): Do not bind $killOptimizeIfTrue.dos-reis3-14/+16
(compWithMappingMode): Likewise. (compUnnamedMapping): Likewise. (extractCode): Simplify. * interp/g-opt.boot (optClosure): New. Register. (semiSimpleRelativeTo?): An abstraction is always semisimple. * interp/nruncomp.boot ($killOptimizeIfTrue): Remove. (optDeltaEntry): Don't test for it.
2012-02-25 * interp/compiler.boot (extractCode): Rename fromdos-reis1-7/+8
extractCodeAndConstructTriple. Change Arity. Tidy. Adjust callers.
2012-02-25 * interp/compiler.boot (finishLambdaExpression): Use %closure.dos-reis3-6/+6
(extractCodeAndConstructTriple): Likewise. * interp/g-opt.boot (optCall): Adjust.
2012-02-25 * interp/nruncomp.boot (genDeltaEntry): Fix thinko.dos-reis1-1/+1
2012-02-24 * interp/lexing.boot: "assume" is now also a keyword for the compiler.dos-reis2-2/+15
* interp/spad-parser.boot (parseCategory): Accept exported properties. (parseFormula): New.
2012-02-23 * interp/nruncomp.boot (genDeltaEntry): Replace applyFun with %apply.dos-reis4-13/+7
* interp/lisp-backend.boot (expandApply): Remove. Unregister expander. * interp/g-opt.boot (optCall): applyFun is not longer an opcode. Look for %apply. * interp/compiler.boot (applyMapping): Generate ['%call,['%apply,.]] form, not ['%apply,..] form. (extractCodeAndConstructTriple): Tidy. (compApplication): Likewise.
2012-02-20 * interp/lexing.boot (getNumberToken): New.dos-reis4-117/+102
(getArgumentDesignator): Likewise. (getToken): Use it. * interp/parsing.lisp (GET-NUMBER-TOKEN): Remove. * interp/bootlex.lisp (INIT-BOOT/SPAD-READER): Move to spad.lisp. (SPAD): Likewise. (READ-SPAD1): Likewise. (TEST): Remove. (GET-ARGUMENT-DESIGNATOR-TOKEN): Likewise.
2012-02-19 * interp/compiler.boot (compBuiltinDomain): Compute the exportsdos-reis2-6/+10
from parentsOfBuiltinInstance. * interp/buildom.boot (parentsOfBuiltinInstance): Tidy.
2012-02-19 * interp/compiler.boot (compBuiltinDomain): Rename from compCat.dos-reis1-5/+5
2012-02-19 * interp/br-data.boot (libConstructorSig): Rename T$ to T fordos-reis1-5/+2
external name printing. Do not call ncParseFromString.
2012-02-13 * interp/g-util.boot (stripTags): Rename from stripUnionTags.dos-reis8-16/+59
Adjust callers. * interp/database.boot (genericInstanceForm): New. * interp/buildom.boot (parentsOfBuiltinInstance): New. (builtinInstanceForm): Likewise. * interp/br-data.boot (genericParentsOf): New. (parentsOfForm): Use it, (ancestorsRecur): Likewise. * interp/br-con.boot (originInOrder): Use parentsOfForm.
2012-02-13 * interp/define.boot (getCatAncestors): Remove. Adjust caller.dos-reis1-5/+3
(depthAssoc): Tidy. (NRTmakeCategoryAlist): Tidy.
2012-02-13 * interp/define.boot (NRTcatCompare): Remove.dos-reis1-5/+3
(NRTmakeCategoryAlist): Don't call NRTcatCompare. Tidy.
2012-02-12 * interp/define.boot (depthAssocList): Take the cache as seconddos-reis1-11/+9
argument. Avoid globals. Adjust Callers. (depthAssoc): Likewise. Adjust Caller. (NRTmakeCategoryAlist): Remove uses of $depthAssocCache.
2012-02-12 * algebra/coerce.spad.pamphlet (Type): Redefine as empty Join.dos-reis1-1/+2
* interp/category.boot (Join): Handle empty argument list.
2012-02-12 * interp/define.boot (getParentsFor): Lose second parameter. Tidy.dos-reis2-37/+24
Adjust callers. * interp/br-data.boot (getParentsForDomain): Remove. (parentsOf): Call getParentsFor in lieu of getParentsForDomain. (folks): Move to define.boot.
2012-02-12 * interp/br-data.boot (ancestorsRecur): Tidy.dos-reis2-7/+5
* interp/define.boot (compDefineCategory2): Likewise.
2012-02-11 (ancestorsRecur): Likewise.dos-reis1-3/+2