aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2010-06-13 * interp/compiler.boot (complainIfShadowing): New.dos-reis1-1/+10
(compStepIterator): Use it to warn about loop variable shadowing declaration in enclosing scope. (compIterator): Likewise.
2010-06-12 * interp/g-opt.boot (replaceableTemporary?): New.dos-reis1-2/+13
(optSEQ) [getRidOfTemps]: Use it to decide when to safely inline a temporary variable definition.
2010-06-12 * interp/compiler.boot (compIterate): Rewrite.dos-reis1-6/+9
(compRepeatOrCollect): Tidy. Bind $loopBodyTag.
2010-06-11 * interp/buildom.boot (mkNewUnionFunList): Use %bind, not PROG2.dos-reis1-4/+6
(mkUnionFunList): Likewise.
2010-06-10 * interp/compiler.boot (freeVarUsage): Handle %when too.dos-reis7-30/+21
(compLogicalNot): Generate %not form. (satisfies): Use %bind. (compMatch): Likewise. (compReduce1): Generate %loop directly instead of %reduce. * interp/g-opt.boot (changeThrowToExit): Don't check for %reduce. * interp/g-util.boot (expandRepeat): Remove. (expandReduce): Likewise.
2010-06-10 * interp/g-opt.boot (optCollectVector): Generate %loop for thedos-reis1-3/+2
non-simple case.
2010-06-10 * interp/g-util.boot (expandLoop): Now take all arguments as ados-reis1-4/+5
single %loop form. (expandCollect): Adjust call. (expandRepeat): Likewise.
2010-06-10Clean updos-reis5-16/+24
2010-06-09 * interp/g-opt.boot (optCollectVector): Generare %collect form,dos-reis1-1/+1
not COLLECT.
2010-06-09 * interp/compiler.boot (canReturn): Handle %when and %bind.dos-reis7-46/+54
(compMatchAlternative): Generate %bind form. (compMatch): Likewise. (compReduce1): Rewrite. (getIdentity): Tidy. * interp/g-opt.boot (changeThrowToExit): HAndle %reduce. (varIsAssigned): %store is side-effectful. * interp/g-util.boot (expandReduce): New. Expand %reduce forms. * interp/i-map.boot (getUserIdentifiersIn): Handle %reduce. (findLocalVars1): Likewise. * interp/i-spec1.boot (checkForFreeVariables): Likewise.
2010-06-09 * interp/g-opt.boot (removeNeedlessThrow): Tidy.dos-reis1-1/+5
2010-06-09 Widen scope of iterator variables in presence of terminatingdos-reis1-6/+15
predicate iterators. There is exactly one instance in the entire OpenAxio library. * interp/g-util.boot (expandIN): Take one more parameter to determine early binding. (expandIterators): Determine if wider scope is needed for iterator variables.
2010-06-07 * interp/compiler.boot (finishLambdaExpression): Bind escapeddos-reis1-9/+8
variables with LET-form instead of assignment.
2010-06-07 * interp/compiler.boot (replaceExitEtc): Replace TAGGEDreturn withdos-reis3-2/+22
%return. * interp/g-opt.boot (removeNeedlessThrow): New. (optCatch): Use to it to avoid horrendous code generation for return statement. * interp/g-util.boot (expandReturn): New. Expand %return forms.
2010-06-07 * interp/c-util.boot (isLispSpecialVariable): New.dos-reis1-3/+14
(mutateToBackendCode): Use it to record special vars. Be careful with locally bound variables.
2010-06-06 * interp/compiler.boot (replaceExitEtc): Tidy.dos-reis1-10/+10
2010-06-06 * interp/c-util.boot (mutateToBackendCode): Don't replace explicitdos-reis1-1/+1
SETQ by LETT.
2010-06-06 * interp/c-util.boot (needPROGS?): New.dos-reis1-1/+11
(transformToBackendCode): Use it. Don't add unneeded PROG/RETURN.
2010-06-06 * interp/compiler.boot (compRepeatOrCollect): Compile listdos-reis1-2/+3
comprehension to %collect form.
2010-06-05More cleanupdos-reis3-4/+5
2010-06-04 * interp/buildom.boot (UnionEqual): Don't COERCE to FUNCTION. Usedos-reis7-13/+14
eval. Use middle end opcodes instead of EQCAR. (coerceUn2E): Likewise.
2010-06-04 * interp/buildom.boot (UnionEqual): Don't COERCE to FUNCTION. Usedos-reis2-3/+4
eval. (coerceUn2E): Likewise.
2010-06-04 * interp/compiler.boot: Replace QCAR first and QCDR first rest.dos-reis2-7/+7
* interp/g-opt.boot: Likewise.
2010-06-04 * interp/br-con.boot: More cleanup.dos-reis23-97/+97
* interp/br-op1.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/c-util.boot: Likewise. * interp/category.boot: Likewise. * interp/clam.boot: Likewise. * interp/database.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/interop.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/setvars.boot: Likewise. * interp/slam.boot: Likewise. * interp/topics.boot: Likewise.
2010-06-04 * interp/buildom.boot: Clean up QEQCAR uses.dos-reis2-6/+6
2010-06-03 * interp/buildom.boot: Cleanup.dos-reis4-20/+24
* interp/c-util.boot ($SetCategory): New constant. * interp/compiler.boot: Use it. * interp/functor.boot: Likewise.
2010-06-02 * interp/c-util.boot (usedSymbol?): New.dos-reis4-23/+38
(declareUnusedParameters): Use it. Reimplement. * interp/i-map.boot (compileCoerceMap): Adjust call. * interp/i-spec1.boot (compileADEFBody): Likewise. (mkIterFun): Likewise. * interp/slam.boot (reportFunctionCompilation): Likewise. (reportFunctionCacheAll): Likewise. (compileRecurrenceRelation): Likewise.
2010-06-02Use builtin functions for DF.dos-reis2-1/+3
2010-06-01 * algebra/list.spad.pamphlet: Use builtin functions.dos-reis2-11/+15
2010-06-01Adjust opcode for character supportdos-reis2-1/+10
2010-06-01 * interp/g-util.boot: Add more opcodes.dos-reis2-14/+26
* algebra/syntax.spad.pamphlet: Clean up. * algebra/variable.spad.pamphlet: Likewise. * algebra/ystream.spad.pamphlet: Likewise.
2010-05-31 * interp/compiler.boot (compWithMappingMode): Handle lambdados-reis3-5/+14
expressions as mapping.
2010-05-30 * interp/c-util.boot (middleEndExpand): Tidy.dos-reis3-17/+26
* interp/g-util.boot (expandToVMForm): Likewise. (expandStore): Refine store to pair components. * algebra/any.spad.pamphlet (Scope): Use builtin operators. (Environment): Likewise. * algebra/domain.spad.pamphlet (FunctionDescriptor): Likewise. (ConstructorCall): Likewise. (FunctorData): Likewise. (OperatorSignature): Likewise. (Category): Likewise. (Domain): Likewise. * algebra/integer.spad.pamphlet (Integer): Likewise. (NonNegativeInteger): Likewise. * algebra/outform.spad.pamphlet: Likewise. * algebra/si.spad.pamphlet (SingleInteger): Likewise. * algebra/syntax.spad.pamphlet (Syntax): Likewise.
2010-05-30 * interp/i-coerce.boot (getSubDomainPredicate): Use compileInteractive.dos-reis1-1/+2
2010-05-30Add more opcodesdos-reis4-86/+54
2010-05-30 * algebra/boolean.spad.pamphlet (Boolean): Remove reference todos-reis1-1/+3
Lisp. Use builtin functions.
2010-05-29 * interp/compiler.boot (getExternalSymbolMode): Allow Lisp asdos-reis3-8/+22
foreign language. (checkExternalEntity): Likewise. (compSignatureImport): Likewise. Give foreign variables dummy values. * interp/c-util.boot (middleEndExpand): Handle %true and %false. * interp/g-util.boot (expandToVMForm): Likewise.
2010-05-29Fix typodos-reis1-1/+1
2010-05-29Add more utility functionsdos-reis1-5/+51
2010-05-29More support middle end logical operatorsdos-reis7-29/+30
2010-05-29 * interp/i-funsel.boot: Support middle end logical operators.dos-reis2-24/+22
($constructorExposureList): Remove as unused.
2010-05-28More opcode expandersdos-reis1-0/+33
2010-05-28Clean up MAKEPROP usesdos-reis12-21/+21
2010-05-28 Add support for 'property' builtin function.dos-reis1-10/+10
* interp/g-timer.boot: Rename property to prop to avoid conflict. * boot/parser.boot (bpAssignLHS): Allow functional places to assign to. * boot/ast.boot (bfPlace): New. (bfAssign): Handle %Place forms. * boot/tokens.boot: property is now translated to GET.
2010-05-28 * boot/tokens.boot: args is now a selector.dos-reis3-5/+5
* interp/g-timer.boot: Use integer? in lieu of INTP. * interp/i-syscmd.boot: Likewise. * interp/msgdb.boot: Likewise.
2010-05-28Fix typodos-reis1-2/+2
2010-05-28 * interp/sys-utility.boot (eval): Define here.dos-reis15-38/+42
* interp/br-con.boot: Use it. * interp/br-op1.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/cattable.boot: Likewise. * interp/ht-util.boot: Likewise. * interp/htsetvar.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/interop.boot: Likewise. * interp/server.boot: Likewise. * interp/showimp.boot: Likewise. * interp/trace.boot: Likewise. * interp/sys-macros.lisp (eval): Move to sys-utility.boot.
2010-05-27 * interp/sys-macros.lisp (eval): Expand opcodes before calling EVAL.dos-reis12-59/+79
* interp/slam.boot (reportFunctionCompilation): Tidy. Take extra care when generating code that access global variables. (reportFunctionCacheAll): Likewise. * interp/i-util.boot (isLocallyBound): Define. * interp/i-spec1.boot (upCOLLECT1): Bind $iteratorVars to nil. (upLoopIterSTEP): Call mkIteratorVariable instead of mkLocalVar. (upLoopIterIN): Likewise. (upStreamIterIN): Likewise. (upStreamIterSTEP): Likewise. (collectOneStream): Tidy. (mkAndApplyPredicates): Likewise. (mkIterFun): Lose last parameter. Tidy. (declare): Use isLocallyBound. (getAndEvalConstructorArgument): Likewise. (mkIteratorVariable): New. ($iteratorVars): New. * interp/i-spec2.boot (upREPEAT1): Bind $iteratorVars to nil. (isLocalPred): Use isLocallyBound. (compileIs): Likewise. (evalLETput): Likewise. (evalLETchangeValue): Likewise. (isType): Likewise. * interp/i-analy.boot (bottomUp): Likewise. (bottomUpDefaultCompile): Likewise. * interp/i-eval.boot (evalForm): Likewise. (getMappingArgValue): Likewise. * interp/i-map.boot (findLocalVars1): Likewise. (findLocalsInLoop): Tidy. Filter out iterator variables. (isLocalVar): Remove. * interp/g-util.boot (mkCacheName): Define here. (mkAuxiliaryName): Likewise. * interp/c-util.boot (backendCompileSLAM): Use mkCacheName. (backendCompileSPADSLAM): Likewise. * interp/clam.boot (compClam): Likewise. (clearCategoryCaches): Likewise. (clearCategoryCache): Likewise. * interp/g-timer.boot (timedEVALFUN): expandToVMForm is now implicitly called by eval.
2010-05-27 * interp/i-map.boot (compileCoerceMap): Minivectors are globaldos-reis3-28/+29
variables. Generate appropriate code. * interp/i-spec1.boot (compileTargetedADEF): Likewise. (compileADEFBody): Likewise. * interp/slam.boot (isRecurrenceRelation): Likewise. Adjust patterns to match minivectors. (mkDiffAssoc): Likewise. (reportFunctionCompilation): Don't declare minivectors.
2010-05-26 * interp/slam.boot (compileRecurrenceRelation): Generate code todos-reis2-20/+51
access and set the global value of the variable holding the cache state. * interp/g-util.boot: Add more middle end form expanders.