aboutsummaryrefslogtreecommitdiff
path: root/src/interp
AgeCommit message (Collapse)AuthorFilesLines
2008-12-14 r12459@gauss: gdr | 2008-12-12 18:18:31 -0600dos-reis11-91/+98
Tidy compApplyModemap. r12460@gauss: gdr | 2008-12-13 09:24:50 -0600 Tidy compMapCond. r12461@gauss: gdr | 2008-12-13 10:24:14 -0600 Activate compViableModemap. r12462@gauss: gdr | 2008-12-13 11:18:17 -0600 Remove pmatch and pmatchWithSl out of main compiler. r12463@gauss: gdr | 2008-12-13 12:26:44 -0600 Tidy compApplyModemap. r12464@gauss: gdr | 2008-12-13 16:39:28 -0600 Add compExclusiveOr. r12465@gauss: gdr | 2008-12-13 16:54:58 -0600 . r12466@gauss: gdr | 2008-12-14 15:01:33 -0600 Tidy compLogicalNot.
2008-12-12 r12454@gauss: gdr | 2008-12-12 14:07:23 -0600dos-reis1-14/+31
Tidy Middle End IL.
2008-12-12 r12453@gauss: gdr | 2008-12-12 09:39:28 -0600dos-reis1-0/+51
Introduce Middle IL.
2008-12-12 r12452@gauss: gdr | 2008-12-12 09:04:43 -0600dos-reis2-2/+10
Add some documentation.
2008-12-12 r12451@gauss: gdr | 2008-12-12 08:39:20 -0600dos-reis4-47/+42
Tidy.
2008-12-11 r12443@gauss: gdr | 2008-12-11 15:51:39 -0600dos-reis3-44/+9
Remove unused parse codes.
2008-12-11 r12442@gauss: gdr | 2008-12-11 11:58:07 -0600dos-reis1-5/+0
Remove dead code.
2008-12-11 r12440@gauss: gdr | 2008-12-11 05:38:58 -0600dos-reis1-2/+2
Tidy resolveNiladicConstructors.
2008-12-11 r12439@gauss: gdr | 2008-12-10 10:50:26 -0600dos-reis1-5/+4
Tidy resolveNiladicConstructors.
2008-12-11 r12438@gauss: gdr | 2008-12-10 01:20:20 -0600dos-reis2-5/+3
Remove quotify.
2008-12-11 r12437@gauss: gdr | 2008-12-09 22:23:31 -0600dos-reis1-17/+1
Remove unused parse functions.
2008-12-11 r12436@gauss: gdr | 2008-12-09 21:32:50 -0600dos-reis2-19/+36
Modularize S-PROCESS.
2008-12-09 r12415@gauss: gdr | 2008-12-06 11:42:45 -0600dos-reis2-16/+32
Implement basic support for pattern matching. r12416@gauss: gdr | 2008-12-06 18:09:19 -0600 Parse case pattern match. r12417@gauss: gdr | 2008-12-06 21:28:30 -0600 Implement basic case pattern matching for retractable domain. r12418@gauss: gdr | 2008-12-07 00:58:58 -0600 Refine retractability implementation. r12419@gauss: gdr | 2008-12-07 01:39:32 -0600 Update cached Lisp translation r12420@gauss: gdr | 2008-12-07 03:52:09 -0600 r12421@gauss: gdr | 2008-12-07 10:30:44 -0600 Implement type recovery too. r12422@gauss: gdr | 2008-12-07 19:18:09 -0600 Simplify LET-forms and COND-forms. r12423@gauss: gdr | 2008-12-07 21:21:12 -0600 Fix typos r12424@gauss: gdr | 2008-12-08 01:14:54 -0600 Parse case-pattern in the interpreter. r12427@gauss: gdr | 2008-12-08 20:32:29 -0600 Handle RetractableTo T.
2008-12-082008-12-07 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis16-10/+330
* interp/g-opt.boot ($simpleVMoperators): New. (isSimpleVMForm): Likewise. (isFloatableVMForm): Likewise. (optLET): Likewise. Expand backend let-forms. * interp/c-util.boot (foldSpadcall): Look into LET and COND forms. (replaceSimpleFunctions): Likewise. (mutateCONDFormWithUnaryFunction): New. (mutateLETFormWithUnaryFunction): Likewise. * interp/compiler.boot (tryCourtesyCoercion): Split from coerce. (compRetractAlternative): Simplify. Now try courtesy coercions before retraction. (compRecoverAlternative): New. (compMatch): Simplify. Implement type recovery too. 2008-12-06 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/compiler.boot (compRetractAlternative): New. (compMatch): Likewise. Use it to implement pattern macthing for retractable domains. * interp/parse.boot (parseAtAt): New. * interp/postpar.boot (postAtAt): Likewise. (postAlternatives): Likewise. (postMatch): Likewise. * interp/metalex.lisp (Keywords): Remove `otherwise' as keyword. * interp/fnewmeta.lisp (|PARSE-Match|): New local parser. * interp/newaux.lisp (@@): New token. Align wih interpreter. (otherwise): Remove binding specification. (case): Now also a Nud token.
2008-12-03 * interp/compiler.boot (compIs): Error if left operand is not ados-reis1-1/+4
domain expression.
2008-12-02 * interp/parsing.lisp (initial-substring-p): Match case sensitively.dos-reis1-1/+1
2008-12-01 * interp/define.boot (compile): Don't check for PAC names.dos-reis4-18/+15
* interp/g-opt.boot (optCall): Likewise. * interp/functor.boot (SetFunctionSlots): Likewise. (mkOperatorEntry): Lose first parameter. (optPackageCall): Remove. * interp/category.boot (mkCategory): Document. Adjust call to mkOperatorEntry.
2008-12-01 * interp/parse.boot (parseEquivalence): Remove.dos-reis1-8/+0
2008-12-01 * interp/define.boot (disallowNiAttribute): Remove.dos-reis1-5/+3
(compDefineFunctor1): Don't use it anymore. (compCategoryItem): Filter out nil attributes here.
2008-11-30 * interp/nruncomp.boot (deltaTran): Don't check for $NRTaddFormdos-reis2-4/+2
againg; it was already checked by NRTassocIndex. (genDeltaEntry): Likewise. (NRTgetLocalIndex): Likewise. * interp/wi2.boot (genDeltaExntry): Likewise.
2008-11-30 * interp/define.boot (mustInstantiate): Fix thinko introduced bydos-reis1-4/+4
earlier tweaks. (mkExplicitCategoryFunction): Likewise.
2008-11-29 * interp/nruncomp.boot (genDeltaSpecialSig): Remove, as unused.dos-reis1-4/+0
2008-11-29 * interp/nruncomp.boot (deltaTran): Don't encode signature again.dos-reis1-5/+3
(genDeltaEntry): Remove dead pattern match.
2008-11-29 * interp/compiler.boot (setqSingle): Use setShellEntry.dos-reis6-12/+17
* interp/wi1.boot (setqSingle): Likewise. * interp/functor.boot (setVector4): Likewise. (DescendCode): Abort on SETELT opcode. (SetFunctionSlots): Likewise. * interp/nrunfast.boot (evalSlotDomain): Likewise. * interp/nrungo.boot (NRTevalDomain): Likewise. * interp/showimp.boot (getDomainRefName): Match "setShellEntry".
2008-11-29Misc cleanupdos-reis1-25/+24
2008-11-29 * interp/define.boot (compCapsuleInner): Call processFunctor.dos-reis3-131/+2
* interp/wi2.boot (compCapsuleInner): Likewise. * interp/functor.boot (processFunctorOrPackage): Remove. (processPackage): Likewise. (subTree): Likewise. (setPackageLocals): Likewise. (PackageDescendCode): Likewise.
2008-11-29 * interp/nruncomp.boot (buildFunctor): Remov reference to $NRTvec.dos-reis4-22/+13
* interp/nrunfast.boot ($NRTvec): Don't define.
2008-11-27 * interp/server.boot (serverLoop): Remove, as unused.dos-reis1-43/+0
2008-11-27 * interp/nruncomp.boot (NRTgetAddForm): Remove, as unused.dos-reis1-5/+0
2008-11-27 * interp/nruncomp.boot (NRTassocIndex): Don't set $found.dos-reis1-3/+3
2008-11-27Fix spelling.dos-reis4-7/+7
2008-11-26 * interp/define.boot (compSignature): New. Split fromdos-reis1-38/+42
compCategoryItem. (compCategoryItem): Use it. Tidy. (quotifyCategoryArgument): Remove. (mkEvalableCategoryForm): Tidy.
2008-11-26 * interp/parse.boot (parseImplies): Remove.dos-reis1-7/+1
2008-11-24 * interp/lisplib.boot (compDefineExports): Tidy.dos-reis2-13/+16
* interp/define.boot (compDefineFunctor1): Adjust call.
2008-11-24 * interp/i-output.boot ($RecordSeparator): New.dos-reis7-11/+23
(maprin): Use it. Separate record in lean mode. * interp/sys-globals.boot ($leanMode): Define. * interp/sys-driver.boot (systemMain): Initialize. * interp/ht-util.boot (executeInterpreterCommand): Print prompt only in non-lean mode. * interp/int-top.boot (SpadInterpretStream): Likewise. (intloopReadConsole): Likewise. * interp/metalex.lisp (get-a-line): Likewise. * interp/server.boot: Likewise.
2008-11-18 * interp/sys-utility.boot (loadExports): New.dos-reis6-17/+33
* interp/sys-driver.boot (initializeGlobalState): Set $compileDefaultsOnly. * interp/lisplib.boot (isFunctor): Load exports file if present. * interp/define.boot (compDefineCategory2): Don't write out category load time stuff if we are compiling only defaults. * interp/boot-pkg.lisp: Import loadFileIfPresent. * lisp/core.lisp.in (|loadFileIfPresent|): New. (|loadIfPresent|): Use it.
2008-11-18 * interp/nrunfast.boot (resolveNiladicConstructors): New.dos-reis1-0/+22
(newHasTest): Use it to handle signature export test. * testsuite/interpreter/has.input: New.
2008-11-17 * interp/lisplib.boot (compDefineExports): Now take operationdos-reis4-12/+28
exported list, instead of category object. Tidy. * interp/define.boot (compDefineFunctor1): Adjust call to compDefineExports.
2008-11-17 * lisp/core.lisp.in (|getOptionValue|): Make second argument optional.dos-reis7-11/+50
* interp/sys-driver.boot (initializeGlobalState): Set $compileExportsOnly. * interp/lisplib.boot (compDefineExports): New. * interp/define.boot (skipCategoryPackage?): New. (compDefineCategory1): Use it. (compDefineFunctor): Don't compile to NRLIB if interested only in exports. (compDefineFunctor1): Honor $compileExportsOnly. * interp/sys-macros.lisp (|withOutputFile|): New. * interp/sys-utility.boot (quoteForm): Likewise.
2008-11-16 * interp/define.boot: More cleanup.dos-reis4-14/+19
* interp/iterator.boot: Likewise.
2008-11-16 * interp/c-util.boot: Clean up.dos-reis21-97/+48
* interp/database.boot: Likewise. * interp/debug.lisp: Likewise. * interp/define.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/i-output.boot: Likewise. * interp/macros.lisp: Likewise. * interp/nrungo.boot: Likewise. * interp/preparse.lisp: Likewise. * interp/spad.lisp: Likewise. * interp/sys-macros.lisp: Likewise. * interp/trace.boot: Likewise. * interp/types.boot: Likewise. * interp/vmlisp.lisp: Likewise. * interp/word.boot: Likewise.
2008-11-16 * interp/package.boot: Fold content into functor.boot. Delete.dos-reis5-300/+246
* interp/Makefile.pamphlet: Adjust.
2008-11-16 * interp/i-syscmd.boot: Remove dead code.dos-reis3-15/+3
* interp/spad.lisp: Likewise.
2008-11-15 * interp/Makefile.pamphlet (OBJS): Remove cfuns. Includedos-reis12-147/+60
hashcode. * interp/cfuns.lisp: Delete.
2008-11-15 * interp/compiler.boot: Import "msgdb", not "c-util". Movedos-reis11-217/+201
compiler driver to i-syscmd.boot. * interp/define.boot: Import "nruncomp", "functor", "package". * interp/wi2.boot (NRTgetLocalIndex): Remove duplicate.
2008-11-15 * interp/spad.lisp (incTimeSum): Remove.dos-reis10-113/+90
* interp/modemap.boot ($forceAdd): Define. * interp/nruncomp.boot ($NRTderivedTargetIfTrue): Likewise. ($killOptimizeIfTrue): Likewise. * interp/i-toplev.boot (processInteractive): Tidy. * interp/c-util.boot ($compErrorMessageStack): Define. * interp/compiler.boot (compApply): Remove. ($compTimeSum): Likewise ($resolveTimeSum): Likewise. (compCompilerPredicate): Tidy. (comp3): There is no such thing as KAPPA.
2008-11-15 * interp/category.boot: Define global vars.dos-reis6-21/+69
* interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/sys-globals.boot: Likewise. * interp/wi1.boot ($frontier): Removed, as unused. * interp/wi2.boot ($attributesName): Likewise. ($goGetList): Likewise. ($NRTaddList): Likewise. ($NRTloadTimeAlist): Likewise. ($lisplibMissingFunctions): Likewise. ($alternateViewList): Likewise.
2008-11-03 * interp/br-data.boot: Remove uses of BOUNDP.dos-reis11-43/+54
* interp/br-op1.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/functor.boot: Likewise. * interp/category.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/i-util.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/mark.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise.
2008-11-03 * interp/postpar.boot (postcheckTarget): Likewise.dos-reis11-96/+15
(isPackageType): Likewise. * interp/lisplib.boot (getSlotFromDomain): Remove. * interp/macros.lisp (|saySpadMsg|): Remove. * interp/vmlisp.lisp (qsetq): Remove. (STATEP, FUNARGP, PAPPP): Likewise. (LISTOFQUOTES, LISTOFFREES): Likewise.
2008-11-03 * interp/Makefile.pamphlet (template.$(FASLEXT)): Remove.dos-reis13-387/+163
* interp/template.boot: Move non-dead code where appropriate. Remove file. * boot/ast.boot (bfQ): Improve.