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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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)
*	Fix the TAGBODY parser.	Matthias Andreas Benkard	2013-07-18	1	-5/+8
\|
*	PREPARE-PROGN: Fix a typo.	Matthias Andreas Benkard	2013-07-18	1	-1/+1
\|
*	SPECIALIZE: Use CL:EVAL rather than SB-INT:EVAL-IN-LEXENV.	Matthias Andreas Benkard	2013-07-18	1	-3/+3
\|
*	PREPARE-PROGN: Support multiple values.	Matthias Andreas Benkard	2013-07-18	1	-4/+8
\|
*	Fix type declaration for PREPARE-MACRO-LAMBDA.	Matthias Andreas Benkard	2013-07-18	1	-1/+1
\|
*	Optimize PREPARE-FUNCTION-REF.	Matthias Andreas Benkard	2013-07-18	1	-3/+5
\|
*	Add dummy function NATIVE-ENVIRONMENT->CONTEXT.	Matthias Andreas Benkard	2013-07-18	1	-0/+5
\|
*	Fix +STACK-MAX+ usage.	Matthias Andreas Benkard	2013-07-18	1	-1/+1
\|
*	Stack allocation: Limit size, simplify code.	Matthias Andreas Benkard	2013-07-18	1	-14/+12
\|
*	Implement MACROLET.	Matthias Andreas Benkard	2013-07-18	1	-2/+20
\|
*	Bug fixes and improvements.	Matthias Andreas Benkard	2013-07-18	1	-7/+13
\|
*	PREPARE-LAMBDA: Handle &REST arguments.	Matthias Andreas Benkard	2013-07-18	1	-1/+3
\|
*	PREPARE-LAMBDA: Handle &ALLOW-OTHER-KEYS, improve error handling, fix ↵	Matthias Andreas Benkard	2013-07-17	1	-12/+29
\| \| \| \|	erroneous mutation of shared closed variables.
*	PREPARE-LAMBDA: Fix context.	Matthias Andreas Benkard	2013-07-17	1	-2/+3
\|
*	LET, LET*: Fix some environment issues.	Matthias Andreas Benkard	2013-07-17	1	-22/+14
\|
*	LET, LET*: Support globally special variables.	Matthias Andreas Benkard	2013-07-16	1	-39/+86
\|
*	Reimplement LET* using progressive context extension.	Matthias Andreas Benkard	2013-07-16	1	-25/+36
\|
*	PREPARE-LAMBDA: Give default argument forms LET*-like scope.	Matthias Andreas Benkard	2013-07-16	1	-2/+19
\|
*	Add a small missed optimization.	Matthias Andreas Benkard	2013-07-16	1	-1/+1
\|
*	Merge branch 'stack'	Matthias Andreas Benkard	2013-07-16	1	-92/+316
\|\ \| \| \| \| \| \| \| \|	Conflicts: sb-eval2.lisp
\| *	PREPARE-LAMBDA: Simplify.	Matthias Andreas Benkard	2013-07-16	1	-13/+13
\| \|
\| *	Remove explicit stack management.	Matthias Andreas Benkard	2013-07-16	1	-205/+35
\| \|
\| *	PREPARE-LAMBDA: Support &KEY ((:keyword var) ...) syntax.	Matthias Andreas Benkard	2013-07-16	1	-2/+6
\| \|
\| *	PREPARE-LAMBDA: Stack-allocate environments instead of managing a stack.	Matthias Andreas Benkard	2013-07-16	1	-13/+31
\| \|
\| *	Implement lambda-lists properly.	Matthias Andreas Benkard	2013-07-16	1	-24/+145
\| \|
\| *	Simplify PREPARE-LAMBDA to rely on &MORE optimization.	Matthias Andreas Benkard	2013-07-16	1	-40/+17
\| \|
\| *	PREPARE-GLOBAL-CALL: Deal with redefinition by using FDEFINITION-OBJECTs.	Matthias Andreas Benkard	2013-07-16	1	-21/+12
\| \| \| \| \| \| \| \| \| \|	Conflicts: sb-eval2.lisp
\| *	Fix indentation.	Matthias Andreas Benkard	2013-07-15	1	-3/+3
\| \|
\| *	LAMBDA: Bail out on complex lambda lists.	Matthias Andreas Benkard	2013-07-15	1	-1/+3
\| \| \| \| \| \| \| \| \| \|	Conflicts: sb-eval2.lisp
\| *	Merge branch 'master' into stack	Matthias Andreas Benkard	2013-07-15	1	-30/+49
\| \|\ \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: sb-eval2.lisp
\| * \|	Add a (wrong) definition of LOAD-TIME-VALUE.	Matthias Andreas Benkard	2013-07-15	1	-0/+4
\| \| \|
\| * \|	Specialize STACK-REF over the stack nesting depth.	Matthias Andreas Benkard	2013-07-15	1	-14/+72
\| \| \|
\| * \|	LET: Don't confuse binding context with enclosing context wrt. the stack.	Matthias Andreas Benkard	2013-07-15	1	-10/+24
\| \| \|
\| * \|	Remove a temporary code note.	Matthias Andreas Benkard	2013-07-15	1	-27/+0
\| \| \|
\| * \|	Establish stacks as necessary.	Matthias Andreas Benkard	2013-07-15	1	-15/+21
\| \| \|