aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2011-02-28 * interp/i-code.boot: Move content to i-coerce.boot. Delete.dos-reis4-149/+116
2011-02-28 * algebra/boolean.spad.pamphlet (PropositionalFormula): dos-reis7-20409/+20415
Implement true and false. Fix thinko in notFormula.
2011-02-28 * interp/i-analy.boot (elaborateTree): New.dos-reis3-4/+27
* interp/i-special.boot (bottomUpProposition): Likewise. (upand): Use it to handle propositional formula. (upor): Likewise.
2011-02-27 * interp/i-analy.boot (bottomUpWithArgModesets): Split out ofdos-reis2-21/+31
bottomUp. (bottomUp): Call it.
2011-02-27 * interp/Makefile.in (OBJS): Remove i-spec1.$(FASLEXT) anddos-reis4-1233/+1205
i-spec2.$(FASLEXT). Add i-special.$(FASLEXT). * interp/i-spec1.boot, interp/i-spec2.boot: Move content to i-special.boot. Remove.
2011-02-27 * algebra/outform.spad.pamphlet (OutputForm) [infix?]: Rewrite.dos-reis8-19640/+19648
2011-02-27 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis12-229/+233
disjunction forms.
2011-02-26 * interp/g-opt.boot (optCond): Recognize conjunction anddos-reis17-20819/+20801
disjunction forms.
2011-02-26 * interp/nruncomp.boot (optDeltaEntry): Don't SPADCALL thedos-reis6-22/+35
constant producing function. * interp/c-util.boot (getFunctionReplacement): Use comptileTimeBindingOf. (lookupDefiningFunction): Tidy. * interp/g-opt.boot (compileTimeBindingOf): Move to c-util.boot.
2011-02-26 * interp/g-opt.boot (canInlineVarDefinition): Observe order ofdos-reis2-1/+6
evaluation.
2011-02-26 * interp/g-opt.boot (optNot): Push %not inside conditionals.dos-reis2-4/+8
(optCond): Remove ineffectual transformation.
2011-02-26 * interp/parse.boot (parseLessEqual): Remove.dos-reis11-19448/+19451
2011-02-25 * algebra/fmod.spad.pamphlet (IntegerMod): Simplify implementation.dos-reis8-20687/+20673
2011-02-25 * boot/tokens.boot: makeSymbol is not a builtin function.dos-reis70-361/+388
* boot/ast.boot: Use makeSymbol in place of INTERN. * boot/parser.boot: Likewise. * boot/scanner.boot: Likewise. * boot/translator.boot: Likewise. * interp/alql.boot: Likewise. * interp/as.boot: Likewise. * interp/ax.boot: Likewise. * interp/bc-matrix.boot: Likewise. * interp/bc-solve.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-data.boot: Likewise. * interp/br-op2.boot: Likewise. * interp/br-prof.boot: Likewise. * interp/br-search.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/c-util.boot: Likewise. * interp/clam.boot: Likewise. * interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/fortcall.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-map.boot: Likewise. * interp/htsetvar.boot: Likewise. * interp/ht-util.boot: Likewise. * interp/g-util.boot: Likewise. * interp/functor.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/postpar.boot: Likewise. * interp/pf2sex.boot: Likewise. * interp/parse.boot: Likewise. * interp/packtran.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/newfort.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/modemap.boot: Likewise. * interp/mark.boot: Likewise. * interp/intfile.boot: Likewise. * interp/interop.boot: Likewise. * interp/incl.boot: Likewise. * interp/word.boot: Likewise. * interp/wi2.boot: Likewise. * interp/wi1.boot: Likewise. * interp/trace.boot: Likewise. * interp/topics.boot: Likewise. * interp/sys-constants.boot: Likewise. * interp/showimp.boot: Likewise. * interp/scan.boot: Likewise.
2011-02-24Rename getShellEntry to shellEntry now that it is a macro accessor that ↵dos-reis46-18694/+18554
designate a place (usable in SETF).
2011-02-24Fix isSimple, againdos-reis7-17682/+17689
2011-02-24 * interp/sys-macros.lisp (shellEntry): New.dos-reis90-21563/+21581
* interp/g-util.boot (setShellEntry): Remove. * interp/compiler.boot: Use %store to %tref forms instead of setHSellEntry. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/showimp.boot: Likewise. * interp/c-util.boot (isSimple): Tidy. (isSideEffectFree): Likewise. (updateCapsuleDirectory): Likewise.
2011-02-24Cleanup long standing confusiondos-reis2-2/+2
2011-02-24more cleanupsdos-reis6-20101/+20106
2011-02-24more cleanupsdos-reis4-7/+6
2011-02-24small cleanupsdos-reis3-6/+6
2011-02-24 * interp/c-util.boot (isSimple): Accept constructor instantiations.dos-reis28-20876/+20850
* algebra/formula.spad.pamphlet: Avoid Lispisms. * algebra/mathml.spad.pamphlet: Likewise. * algebra/op.spad.pamphlet: Likewise. * algebra/sex.spad.pamphlet: Likewise.
2011-02-24some cleanupsdos-reis16-92/+105
2011-02-24(no commit message)dos-reis1-4/+5
2011-02-22 * boot/tokens.boot: mmSource is a new selector for modemap datatype.dos-reis16-78/+92
* interp/wi1.boot: Likewise. * interp/br-data.boot: Various cleanups. * interp/c-util.boot: Likewise. * interp/compiler.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/i-util.boot: Likewise. * interp/mark.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/topics.boot: Likewise.
2011-02-22 * interp/g-opt.boot (optCond): Recognize conjunctive guard asdos-reis2-0/+6
nested conditionals.
2011-02-20 * interp/parse.boot (transSeq): Aggregate branches of topleveldos-reis4-12/+19
conditionals so that implications propagate down the pipe.
2011-02-20small cleanupsdos-reis2-23/+24
2011-02-18Rename %veclit to %vector and %listlit to %listdos-reis39-21474/+21453
2011-02-15 * interp/compiler.boot (coerceExtraHard): Explicitly fail ifdos-reis2-1/+8
autoCoerceByModemap fails.
2011-02-14 * interp/compiler.boot (getUnionMode): Remove.dos-reis4-30/+51
(isUnionMode): Move to c-util.boot. (coerceExtraHard): Rework. (belongsTo?): Remove. * interp/c-util.boot (isUnionMode): Moved from compiler.boot. (unionLike?): New. (unionProperty): Likewise. (getInverseEnvironment): Use unionProperty instead of getUnionMode.
2011-02-14Remove explicit call to autoCoercedos-reis2-10/+8
2011-02-14 * interp/c-util.boot (getSuccessEnvironment): Follow throughdos-reis3-3/+13
temporaries designating result of assignment. (getInverseEnvironment): Likewise.
2011-02-13 * interp/buildom.boot (mkNewUnionFunList): Align arity ofdos-reis4-8/+15
'case' implementation to declared signature. (mkUnionFunList): Likewise. * interp/compiler.boot (compCase1): 'case' is now unconditionally binary. * interp/g-opt.boot (optCond): Fix thinko.
2011-02-13 * interp/g-opt.boot (optCond): Get rid of double negatives whendos-reis3-45/+11
possible. * interp/g-util.boot (assumeProperty): Remove. (flattenVMForm): Likewise. (mkVMForm): Likewise.
2011-02-12 * interp/compiler.boot (compCons1): Use coerce not convert.dos-reis2-17/+28
(setqSingle): Likewise. (setqMultiple): Likewise. (compConstruct): Likewise. (compQuote): Likewise. (compElt): Likewise. (compSignatureImport): Likewise. (compComma): Likewise.
2011-02-12 * interp/compiler.boot (compExpressionList): Remove.dos-reis2-7/+5
(compForm1): Don't call it.
2011-02-12minor cleanupdos-reis1-4/+5
2011-02-12 * interp/g-opt.boot (changeVariableDefinitionToStore): Tidy.dos-reis2-6/+32
2011-02-11 * interp/g-opt.boot (dependentVars): New.dos-reis2-3/+24
(canInlineVarDefinition): Use it to safely inline vardefs.
2011-02-11 * interp/compiler.boot (canReturn): Don't check for LET*.dos-reis4-14/+10
* interp/g-opt.boot (optLET*): Remove as we now generate only %bind forms.
2011-02-11 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %funcalldos-reis4-4/+13
and %nothing. * algebra/mkfunc.spad.pamphlet: Use %funcall instead of FUNCALL.
2011-02-11some cleanupsdos-reis2-52/+45
2011-02-10 * interp/vmlisp.lisp (VEC-SETELT): Remove.dos-reis6-14/+18
* interp/scan.boot (scanInserts): Use vectorRef. * interp/functor.boot (DescendCode): Don't check for SETELT or QSETREFV forms. * interp/nrunfast.boot (evalSlotDomain): Likewise.
2011-02-10 * interp/sys-globals.boot ($evalDomain): Remove.dos-reis4-18/+17
* interp/nrungo.boot (NRTevalDomain): Likewise. Fix callers to call evalDomain. * interp/i-eval.boot (evalDomain): Don't check for $evalDomain anymore. Handle assignment to domain object forms.
2011-02-09 Add MappingCategory as a (builtin) category.dos-reis7-14/+56
* interp/sys-constants.boot ($CategoryNames): Include MappingCategory. * interp/g-cndata.boot (unabbrevSpecialForms): Handle MappingCategory, RecordCategory, and UnionCategory. * interp/buildom.boot (MappingCategory): New. * interp/compiler.boot: Elaboration MappingCategory forms. * interp/g-error.boot (needsToSplitMessage): Fix thinko from type-based dispatch done by the Boot translator. * interp/nrunfast.boot (builtinConstructor?): New. (generalizedBuiltinConstructor?): Likewise. (lazyMatch): Use them. (newHasTest): Properly recognize all flavours of category forms.
2011-02-09 * interp/sys-constants.boot ($PrimitiveDomainNames): Remove.dos-reis8-19498/+19488
* interp/category.boot (mkCategory): Drop test for primitive domains.
2011-02-09More mkCategory cleanupdos-reis1-6/+7
2011-02-09 * interp/category.boot (mkCategory): Don't single out Listdos-reis2-2/+6
instantiations in determining NewLocals.
2011-02-08 * interp/category.boot(categoryObject?): Rename from isCategory. dos-reis5-8/+15
* interp/c-util.boot: Adjust use. * interp/functor.boot: Likewise. * interp/modemap.boot: Likewise.