mulk/sb-eval2 - Minimally compiling evaluator for Steel Bank Common Lisp.

	Commit message (Collapse)	Author	Age	Files	Lines
*	SYMBOL-MACROLET: Signal errors on attempts to bind constants and specials.	Matthias Andreas Benkard	2013-07-20	1	-1/+11
\|
*	LAMBDA: Deal properly with &REST lists in the presence of missing &OPTIONAL ↵	Matthias Andreas Benkard	2013-07-20	1	-2/+2
\| \| \| \|	arguments.
*	LAMBDA: Do not generate spurious extra gensym'd variables for &AUX bindings.	Matthias Andreas Benkard	2013-07-20	1	-17/+28
\|
*	LAMBDA: Don't spuriously error out on non-KEYWORDP keyword arguments.	Matthias Andreas Benkard	2013-07-20	1	-1/+1
\|
*	LAMBDA: Process &REST before &KEY and &AUX.	Matthias Andreas Benkard	2013-07-20	1	-34/+44
\|
*	LAMBDA: Handle dynamically bound &REST arguments correctly.	Matthias Andreas Benkard	2013-07-20	1	-0/+8
\|
*	PREPARE-FORM: Make the context argument mandatory.	Matthias Andreas Benkard	2013-07-20	1	-4/+4
\|
*	LABELS, FLET: Add implicit block to function definitions.	Matthias Andreas Benkard	2013-07-20	1	-8/+13
\|
*	LAMBDA: Fix a refactoring error that caused keyword default arguments to ↵	Matthias Andreas Benkard	2013-07-20	1	-1/+2
\| \| \| \|	stay unevaluated.
*	Fix symbol macro expansion.	Matthias Andreas Benkard	2013-07-20	1	-1/+1
\|
*	SETQ, MULTIPLE-VALUE-SETQ: Fix order of evaluation in the presence of symbol ↵	Matthias Andreas Benkard	2013-07-20	1	-37/+5
\| \| \| \|	macros.
*	LET, MULTIPLE-VALUE-BIND, LAMBDA: Add declared specials to body context.	Matthias Andreas Benkard	2013-07-20	1	-3/+9
\|
*	LET*: Reimplement on top of LET.	Matthias Andreas Benkard	2013-07-20	1	-52/+13
\|
*	Reformat.	Matthias Andreas Benkard	2013-07-20	1	-27/+26
\|
*	LAMBDA: Revert to using PROGV.	Matthias Andreas Benkard	2013-07-20	1	-27/+17
\|
*	Simplify.	Matthias Andreas Benkard	2013-07-20	1	-13/+10
\|
*	Experimental pseudo-improvements.	Matthias Andreas Benkard	2013-07-20	1	-9/+22
\| \| \|	...that cause random MEMORY-FAULT-ERRORs.
*	SETQ, MULTIPLE-VALUE-SETQ: Handle symbol macros.	Matthias Andreas Benkard	2013-07-20	1	-30/+87
\|
*	Simplify.	Matthias Andreas Benkard	2013-07-20	1	-8/+5
\|
*	LAMBDA: Simplify, (DECLARE (DYNAMIC-EXTENT ARGS)).	Matthias Andreas Benkard	2013-07-19	1	-5/+4
\|
*	Simplify.	Matthias Andreas Benkard	2013-07-19	1	-118/+109
\|
*	Use SBCL primitives instead of PROGV (experimental!).	Matthias Andreas Benkard	2013-07-19	1	-13/+21
\|
*	LAMBDA: Fix argument processing counter.	Matthias Andreas Benkard	2013-07-19	1	-2/+3
\|
*	Reindent.	Matthias Andreas Benkard	2013-07-19	1	-148/+149
\|
*	LAMBDA: Simplify.	Matthias Andreas Benkard	2013-07-19	1	-15/+20
\|
*	Simplify.	Matthias Andreas Benkard	2013-07-19	1	-2/+1
\|
*	Simplify.	Matthias Andreas Benkard	2013-07-19	1	-9/+12
\|
*	LAMBDA: Do not reserve environment space for special variables.	Matthias Andreas Benkard	2013-07-19	1	-7/+7
\|
*	LAMBDA: Properly create new context in accordance with the new environment.	Matthias Andreas Benkard	2013-07-19	1	-1/+5
\|
*	Remove debug-prints.	Matthias Andreas Benkard	2013-07-19	1	-9/+2
\|
*	Take a first stab at supporting specials in lambda-lists.	Matthias Andreas Benkard	2013-07-19	1	-101/+155
\|
*	Remove an obsolete comment.	Matthias Andreas Benkard	2013-07-19	1	-7/+0
\|
*	Never allocate environment objects on the stack.	Matthias Andreas Benkard	2013-07-19	1	-1/+5
\| \| \|	We still allocate the actual data vector on the stack sometimes.
*	MAYBE-CLOSES-OVER-P: Be tolerant towards errors raised by SB-WALKER.	Matthias Andreas Benkard	2013-07-19	1	-1/+3
\|
*	Add special handling for MACROLET, SYMBOL-MACROLET, FLET, LABELS.	Matthias Andreas Benkard	2013-07-19	1	-5/+15
\|
*	LET*, LAMBDA: Fix use of MAYBE-CLOSES-OVER-P to also search references from ↵	Matthias Andreas Benkard	2013-07-19	1	-3/+7
\| \| \| \|	binding forms.
*	Remove an obsolete comment.	Matthias Andreas Benkard	2013-07-19	1	-1/+0
\|
*	Update MAYBE-CLOSES-OVER-P call sites.	Matthias Andreas Benkard	2013-07-19	1	-3/+3
\|
*	Register specials in the context.	Matthias Andreas Benkard	2013-07-19	1	-7/+20
\|
*	Reimplement MAYBE-CLOSES-OVER-P using SB-WALKER.	Matthias Andreas Benkard	2013-07-19	1	-30/+43
\|
*	Reorder forms for compilability.	Matthias Andreas Benkard	2013-07-18	1	-19/+21
\|
*	LET: Support SPECIAL declarations, fix the order of evaluation for special ↵	Matthias Andreas Benkard	2013-07-18	1	-31/+38
\| \| \| \| \|	variables. Note that no other special forms support SPECIAL declarations yet. This includes LAMBDA and LET*.
*	Fix a typo.	Matthias Andreas Benkard	2013-07-18	1	-1/+1
\|
*	Partially implement declaration parsing.	Matthias Andreas Benkard	2013-07-18	1	-304/+332
\|
*	Fix support for ((LAMBDA ...) ...) forms.	Matthias Andreas Benkard	2013-07-18	1	-4/+3
\|
*	LAMBDA: Raise SIMPLE-PROGRAM-ERRORs for argument number mismatches.	Matthias Andreas Benkard	2013-07-18	1	-3/+9
\|
*	TAGBODY: Support non-symbols as tags.	Matthias Andreas Benkard	2013-07-18	1	-2/+2
\|
*	Fix symbol macro application.	Matthias Andreas Benkard	2013-07-18	1	-1/+1
\|
*	Semi-fix LOCALLY.	Matthias Andreas Benkard	2013-07-18	1	-1/+2
\|
*	CONTEXT->NATIVE-ENVIRONMENT: Handle macros and symbol macros.	Matthias Andreas Benkard	2013-07-18	1	-2/+10
\| \| \| \| \| \| \| \|	This especially helps in the presence of SETF in that it makes stuff like the following expand correctly: (let (foo) (macrolet ((x () 'foo)) (setf (x) 10)) foo)