source: branches/working-0711/ccl/level-1/l1-readloop.lisp @ 10938

Last change on this file since 10938 was 10938, checked in by gz, 12 years ago

Extend the mechanism used for keeping track of definitions (previously used only for inlining and undefined function warnings) to make it work across compilation units rather than just per file and make it also keep track of method definitions. Make it use a hash table since now the set of definitions can get quite large. Use it to detect and issue warnings about duplicate function or method definitions inside a compilation unit.

One side-effect of above changes is that compile-time inlining information is kept across the whole compilation unit rather than being per-file only.

Fixes in defstruct, to make sure predicate def gets noted, and to make accessor defs only get noted once.

Add (and export) a new CCL:WITHOUT-DUPLICATE-DEFINITION-WARNINGS macro that can be wrapped around intentional duplicate definitions to avoid the warning.

New NLAMBDA macro, which is to LAMBDA as NFUNCTION is to FUNCTION. Not exported.

Wrap with-compilation-unit around compile-ccl and xcompile-ccl.

Remove a half-dozen or so unintentional duplicate definitions in ccl, and work around the intentional ones by either using fset instead of defun at the first definition or wrapping the second one in without-duplicate-definition-warnings.

In file compiler, do not use the file's lexical environment for compile-time evaluation!

Make report-compiler-warning show the file position, when known, for warnings in anonymous lambdas.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 29.1 KB
Line 
1;;;-*-Mode: LISP; Package: CCL -*-
2;;;
3;;;   Copyright (C) 1994-2001 Digitool, Inc
4;;;   This file is part of OpenMCL. 
5;;;
6;;;   OpenMCL is licensed under the terms of the Lisp Lesser GNU Public
7;;;   License , known as the LLGPL and distributed with OpenMCL as the
8;;;   file "LICENSE".  The LLGPL consists of a preamble and the LGPL,
9;;;   which is distributed with OpenMCL as the file "LGPL".  Where these
10;;;   conflict, the preamble takes precedence. 
11;;;
12;;;   OpenMCL is referenced in the preamble as the "LIBRARY."
13;;;
14;;;   The LLGPL is also available online at
15;;;   http://opensource.franz.com/preamble.html
16
17(in-package "CCL")
18
19;L1-readloop.lisp
20
21
22(defvar *break-on-signals* nil
23  "When (TYPEP condition *BREAK-ON-SIGNALS*) is true, then calls to SIGNAL will
24   enter the debugger prior to signalling that condition.")
25(defvar *break-on-warnings* nil)
26(defvar *break-on-errors* t "Not CL.")
27(defvar *debugger-hook* nil
28  "This is either NIL or a function of two arguments, a condition and the value
29   of *DEBUGGER-HOOK*. This function can either handle the condition or return
30   which causes the standard debugger to execute. The system passes the value
31   of this variable to the function because it binds *DEBUGGER-HOOK* to NIL
32   around the invocation.")
33(defvar *backtrace-on-break* nil)
34(defvar *** nil
35  "the previous value of **")
36(defvar ** nil
37  "the previous value of *")
38(defvar * nil
39  "the value of the most recent top level EVAL")
40(defvar /// nil
41  "the previous value of //")
42(defvar // nil
43  "the previous value of /")
44(defvar / nil
45  "a list of all the values returned by the most recent top level EVAL")
46(defvar +++ nil
47  "the previous value of ++")
48(defvar ++ nil
49  "the previous value of +")
50(defvar + nil
51  "the value of the most recent top level READ")
52(defvar - nil
53  "the form currently being evaluated")
54
55(defvar *continuablep* nil)
56(defvar *in-read-loop* nil 
57 "Is T if waiting for input in the read loop")
58
59
60(defvar *did-startup* nil)
61
62
63
64(defmacro catch-cancel (&body body)
65  `(catch :cancel ,@body))
66
67(defmacro throw-cancel (&optional value)
68  `(throw :cancel ,value))
69
70;;; Throwing like this works in listeners and in the initial process.
71;;; Can't easily tell if a process is a listener.  Should be able to.
72(defun toplevel ()
73  (throw :toplevel nil))
74
75
76;;; It's not clear that this is the right behavior, but aborting CURRENT-PROCESS -
77;;; when no one's sure just what CURRENT-PROCESS is - doesn't seem right either.
78(defun interactive-abort ()
79  (interactive-abort-in-process *current-process*))
80
81(defun interactive-abort-in-process (p)
82  (if p (process-interrupt p 
83                           #'(lambda ()
84                               (unless *inhibit-abort*
85                                 (if *in-read-loop* 
86                                        (abort-break)
87                                        (abort))
88                                 )))))
89
90
91(defun abort (&optional condition)
92  "Transfer control to a restart named ABORT, signalling a CONTROL-ERROR if
93   none exists."
94  (invoke-restart-no-return (find-restart 'abort condition)))
95
96(defun continue (&optional condition)
97  "Transfer control to a restart named CONTINUE, or return NIL if none exists."
98  (let ((r (find-restart 'continue condition)))
99    (if r (invoke-restart r))))
100
101(defun muffle-warning (&optional condition)
102  "Transfer control to a restart named MUFFLE-WARNING, signalling a
103   CONTROL-ERROR if none exists."
104  (invoke-restart-no-return (find-restart 'muffle-warning condition)))
105
106(defun abort-break ()
107  (invoke-restart-no-return 'abort-break))
108
109
110(defun quit (&optional (exit-status 0))
111  (unless (typep exit-status '(signed-byte 32))
112    (report-bad-arg exit-status '(signed-byte 32)))
113  (let* ((ip *initial-process*)
114         (cp *current-process*))
115    (when (process-verify-quit ip)
116      (process-interrupt ip
117                         #'(lambda ()
118                             (process-exit-application *current-process*
119                                                       #'(lambda ()
120                                                           (%set-toplevel nil)
121                                                           (#__exit exit-status)))))
122      (unless (eq cp ip)
123        (process-kill cp)))))
124
125
126(defglobal *quitting* nil)
127
128
129(defun prepare-to-quit (&optional part)
130  (let-globally ((*quitting* t))
131    (when (or (null part) (eql 0 part))
132      (dolist (f *lisp-cleanup-functions*)
133        (funcall f)))
134    (let* ((stragglers ()))
135      (dolist (p (all-processes))
136        (unless (or (eq p *initial-process*)
137                    (not (process-active-p p)))
138          (if (process-persistent p)
139            (process-reset p :shutdown)
140            (process-kill p))))
141      (dolist (p (all-processes))
142        (let* ((semaphore (process-termination-semaphore p)))
143          (when semaphore
144            (unless (eq p *initial-process*)
145              (unless (timed-wait-on-semaphore semaphore 0.05)
146                (push p stragglers))))))
147      (dolist (p stragglers)
148        (let* ((semaphore (process-termination-semaphore p)))
149          (maybe-finish-process-kill p :kill)
150          (when semaphore
151            (timed-wait-on-semaphore semaphore 0.10)))))
152    (shutdown-lisp-threads)
153    (loop
154      (let* ((streams (open-file-streams)))
155        (when (null streams) (return))
156        (let* ((ioblock (stream-ioblock (car streams) nil)))
157          (when ioblock
158            (setf (ioblock-inbuf-lock ioblock) nil
159                  (ioblock-outbuf-lock ioblock) nil
160                  (ioblock-owner ioblock) nil)))
161        (close (car streams))))
162    (setf (interrupt-level) -1)         ; can't abort after this
163    ))
164
165
166(defun signal (condition &rest args)
167  "Invokes the signal facility on a condition formed from DATUM and
168   ARGUMENTS. If the condition is not handled, NIL is returned. If
169   (TYPEP condition *BREAK-ON-SIGNALS*) is true, the debugger is invoked
170   before any signalling is done."
171  (setq condition (condition-arg condition args 'simple-condition))
172  (let* ((*break-on-signals* *break-on-signals*))
173     (let* ((old-bos *break-on-signals*))
174       (when (unknown-ctype-p (let* ((*break-on-signals* nil)) (specifier-type old-bos)))
175         (setq *break-on-signals* nil)
176         (warn "~S : Ignoring invalid type specifier ~s." '*break-on-signals old-bos)))
177         
178   (when (typep condition *break-on-signals*)
179     (let ((*break-on-signals* nil))
180       (cbreak-loop "Signal" "Signal the condition." condition (%get-frame-ptr)))))
181  (let ((%handlers% %handlers%))
182    (while %handlers%
183      (do* ((tag (pop %handlers%)) (handlers tag (cddr handlers)))
184           ((null handlers))
185        (when (typep condition (car handlers))
186          (let ((fn (cadr handlers)))
187            (cond ((null fn) (throw tag condition))
188                  ((fixnump fn) (throw tag (cons fn condition)))
189                  (t (funcall fn condition)))))))))
190
191(defvar *error-print-circle* nil)   ; reset to T when we actually can print-circle
192
193
194
195;;;***********************************
196;;;Mini-evaluator
197;;;***********************************
198
199(defun new-lexical-environment (&optional parent)
200  (%istruct 'lexical-environment parent nil nil nil nil nil nil))
201
202(defmethod make-load-form ((e lexical-environment) &optional env)
203  (declare (ignore env))
204  nil)
205
206(defun new-definition-environment (&optional (type 'compile-file))
207  (%istruct 'definition-environment (list type)  nil nil nil nil nil nil nil nil nil nil nil nil ))
208
209(defun definition-environment (env &optional clean-only &aux parent)
210  (if (and env (not (istruct-typep env 'lexical-environment))) (report-bad-arg env 'lexical-environment))
211  (do* () 
212       ((or (null env) 
213            (listp (setq parent (lexenv.parent-env env)))
214            (and clean-only (or (lexenv.variables env) (lexenv.functions env)))))
215    (setq env parent))
216  (if (consp parent)
217    env))
218
219(defvar *symbol-macros* (make-hash-table :test #'eq))
220
221(defun %define-symbol-macro (name expansion)
222  (if (or (constant-symbol-p name)
223          (proclaimed-special-p name))
224      (signal-program-error "Symbol ~s already globally defined as a ~A"
225                            name (if (constant-symbol-p name)
226                                     'constant
227                                     'variable)))
228  (setf (gethash name *symbol-macros*) expansion)
229  name)
230
231(defvar *macroexpand-hook* 'funcall
232  "The value of this variable must be a designator for a function that can
233  take three arguments, a macro expander function, the macro form to be
234  expanded, and the lexical environment to expand in. The function should
235  return the expanded form. This function is called by MACROEXPAND-1
236  whenever a runtime expansion is needed. Initially this is set to
237  FUNCALL.") ; Should be #'funcall.
238;(queue-fixup (setq *macroexpand-hook* #'funcall)) ;  No it shouldn't.
239
240(defun %symbol-macroexpand-1 (sym env)
241  (flet ((expand-it (expansion)
242           (funcall *macroexpand-hook*
243                    (constantly expansion)
244                    sym
245                    env)))
246    (if (and env (not (istruct-typep env 'lexical-environment)))
247      (report-bad-arg env 'lexical-environment))
248    (do* ((env env (lexenv.parent-env env)))
249         ((null env))
250      (if (istruct-typep env 'definition-environment)
251        (let* ((info (assq sym (defenv.symbol-macros env))))
252          (if info
253            (return-from %symbol-macroexpand-1 (values (expand-it (cdr info)) t))
254            (return)))
255        (let* ((vars (lexenv.variables env)))
256          (when (consp vars)
257            (let* ((info (dolist (var vars)
258                           (if (eq (var-name var) sym)
259                             (return var)))))           
260              (when info
261                (if (and (consp (setq info (var-expansion info)))
262                         (eq (%car info) :symbol-macro))
263                  (return-from %symbol-macroexpand-1 (values (expand-it (%cdr info)) t))
264                  (return-from %symbol-macroexpand-1 (values sym nil)))))))))
265    ;; Look it up globally.
266    (multiple-value-bind (expansion win) (gethash sym *symbol-macros*)
267      (if win (values (expand-it expansion) t) (values sym nil)))))
268
269(defun macroexpand-all (form &optional (env (new-lexical-environment)))
270  "Recursivly expand all macros in FORM."
271  (flet ((mexpand (forms env)
272           (mapcar (lambda (form) (macroexpand-all form env)) forms)))
273    (macrolet ((destructuring-bind-body (binds form &body body)
274                 (if (eql '&body (first (last binds)))
275                   (let ((&body (gensym "&BODY")))
276                     `(destructuring-bind ,(append (butlast binds) (list '&body &body))
277                          ,form
278                        (multiple-value-bind (body decls)
279                            (parse-body ,&body env nil)
280                          ,@body)))
281                   `(destructuring-bind ,binds ,form ,@body))))
282      (multiple-value-bind (expansion win)
283          (macroexpand-1 form env)
284        (if win
285          (macroexpand-all expansion env)
286          (if (atom form)
287            form
288            (case (first form)
289              (macrolet
290               (destructuring-bind-body (macros &body) (rest form)
291                (setf env (augment-environment env
292                                               :macro (mapcar (lambda (macro)
293                                                                (destructuring-bind
294                                                                      (name arglist &body body)
295                                                                    macro
296                                                                  (list name (enclose (parse-macro name arglist body env)))))
297                                                              macros)
298                                               :declare (decl-specs-from-declarations decls)))
299                (let ((body (mexpand body env)))
300                  (if decls
301                    `(locally ,@decls ,@body)
302                    `(progn ,@body)))))
303              (symbol-macrolet
304               (destructuring-bind-body (symbol-macros &body) (rest form)
305                (setf env (augment-environment env :symbol-macro symbol-macros :declare (decl-specs-from-declarations decls)))
306                (let ((body (mexpand body env)))
307                  (if decls
308                    `(locally ,@decls ,@body)
309                    `(progn ,@body)))))
310              ((let let* compiler-let)
311               (destructuring-bind-body (bindings &body) (rest form)
312                `(,(first form)
313                   ,(mapcar (lambda (binding)
314                             
315                              (if (listp binding)
316                                (list (first binding) (macroexpand-all (second binding) env))
317                                binding))
318                            bindings)
319                   ,@decls
320                   ,@(mexpand body env))))
321              ((flet labels)
322               (destructuring-bind-body (bindings &body) (rest form)
323                `(,(first form)
324                   ,(mapcar (lambda (binding)
325                              (list* (first binding) (cdr (macroexpand-all `(lambda ,@(rest binding)) env))))
326                            bindings)
327                   ,@decls
328                   ,@(mexpand body env))))
329              (nfunction (list* 'nfunction (second form) (macroexpand-all (third form) env)))
330              (function
331                 (if (and (consp (second form))
332                          (eql 'lambda (first (second form))))
333                   (destructuring-bind (lambda arglist &body body&decls)
334                       (second form)
335                     (declare (ignore lambda))
336                     (multiple-value-bind (body decls)
337                         (parse-body body&decls env)
338                       `(lambda ,arglist ,@decls ,@(mexpand body env))))
339                   form))
340              ((eval-when the locally block return-from)
341                 (list* (first form) (second form) (mexpand (cddr form) env)))
342              (setq
343                 `(setq ,@(loop for (name value) on (rest form) by #'cddr
344                                collect name
345                                collect (macroexpand-all value env))))
346              ((go quote) form)
347              ((fbind with-c-frame with-variable-c-frame ppc-lap-function)
348               (error "Unable to macroexpand ~S." form))
349              ((catch if load-time-value multiple-value-call multiple-value-prog1 progn
350                progv tagbody throw unwind-protect)
351               (cons (first form) (mexpand (rest form) env)))
352              (t
353               ;; need to check that (first form) is either fboundp or a local function...
354               (cons (first form) (mexpand (rest form) env))))))))))
355
356(defun macroexpand-1 (form &optional env &aux fn)
357  "If form is a macro (or symbol macro), expand it once. Return two values,
358   the expanded form and a T-or-NIL flag indicating whether the form was, in
359   fact, a macro. ENV is the lexical environment to expand in, which defaults
360   to the null environment."
361  (declare (resident))
362  (if (and (consp form)
363           (symbolp (%car form)))
364    (if (setq fn (macro-function (%car form) env))
365      (values (funcall *macroexpand-hook* fn form env) t)
366      (values form nil))
367    (if (and form (symbolp form))
368      (%symbol-macroexpand-1 form env)
369      (values form nil))))
370
371(defun macroexpand (form &optional env)
372  "Repetitively call MACROEXPAND-1 until the form can no longer be expanded.
373   Returns the final resultant form, and T if it was expanded. ENV is the
374   lexical environment to expand in, or NIL (the default) for the null
375   environment."
376  (declare (resident))
377  (multiple-value-bind (new win) (macroexpand-1 form env)
378    (do* ((won-at-least-once win))
379         ((null win) (values new won-at-least-once))
380      (multiple-value-setq (new win) (macroexpand-1 new env)))))
381
382(defun %symbol-macroexpand (form env &aux win won)
383  ; Keep expanding until no longer a symbol-macro or no longer a symbol.
384  (loop
385    (unless (and form (symbolp form)) (return))
386    (multiple-value-setq (form win) (macroexpand-1 form env))
387    (if win (setq won t) (return)))
388  (values form won))
389
390(defun retain-lambda-expression (name lambda-expression env)
391  (if (and (let* ((lambda-list (cadr lambda-expression)))
392             (and (not (memq '&lap lambda-list))
393                  (not (memq '&method lambda-list))
394                  (not (memq '&lexpr lambda-list))))
395           (nx-declared-inline-p name env)
396           (not (gethash name *nx1-alphatizers*))
397           ; A toplevel definition defined inside a (symbol-)macrolet should
398           ; be inlineable.  It isn't; call DEFINITION-ENVIRONMENT with a
399           ; "clean-only" argument to ensure that there are no lexically
400           ; bound macros or symbol-macros.
401           (definition-environment env t))
402    lambda-expression))
403
404
405(defun %cons-def-info (type &optional lfbits keyvect lambda specializers qualifiers)
406  (ecase type
407    (defun nil)
408    (defmacro (setq lambda '(macro) lfbits nil)) ;; some code assumes lfbits=nil
409    (defgeneric (setq lambda (list :methods)))
410    (defmethod (setq lambda (list :methods (cons qualifiers specializers)))))
411  (vector lfbits keyvect *loading-file-source-file* lambda))
412
413(defun def-info.lfbits (def-info)
414  (and def-info (svref def-info 0)))
415
416(defun def-info.keyvect (def-info)
417  (and def-info (svref def-info 1)))
418
419(defun def-info.file (def-info)
420  (and def-info (svref def-info 2)))
421
422(defun def-info.lambda (def-info)
423  (let ((data (and def-info (svref def-info 3))))
424    (and (eq (car data) 'lambda) data)))
425
426(defun def-info.methods (def-info)
427  (let ((data (and def-info (svref def-info 3))))
428    (and (eq (car data) :methods) (%cdr data))))
429
430(defun def-info-with-new-methods (def-info new-methods)
431  (unless (eq (def-info.type def-info) 'defgeneric) (error "Bug: not method info: ~s" def-info))
432  (if (eq new-methods (def-info.methods def-info))
433    def-info
434    (let ((new (copy-seq def-info)))
435      (setf (svref new 3) (cons :methods new-methods))
436      new)))
437
438(defun def-info.macro-p (def-info)
439  (let ((data (and def-info (svref def-info 2))))
440    (eq (car data) 'macro)))
441
442(defun def-info.type (def-info)
443  (if (null def-info) nil  ;; means FTYPE decl or lap function
444    (let ((data (svref def-info 3)))
445      (ecase (car data)
446        ((nil lambda) 'defun)
447        (:methods 'defgeneric)
448        (macro 'defmacro)))))
449
450(defparameter *one-arg-defun-def-info* (%cons-def-info 'defun (encode-lambda-list '(x))))
451
452(defvar *compiler-warn-on-duplicate-definitions* t)
453
454(defun combine-function-infos (name old-info new-info)
455  (let ((old-type (def-info.type old-info))
456        (new-type (def-info.type new-info)))
457    (cond ((and (eq old-type 'defgeneric) (eq new-type 'defgeneric))
458           ;; TODO: Check compatibility of lfbits...
459           ;; TODO: check that all methods implement defgeneric keys
460           (let ((old-methods (def-info.methods old-info))
461                 (new-methods (def-info.methods new-info)))
462             (loop for new-method in new-methods
463                   do (if (member new-method old-methods :test #'equal)
464                        (when *compiler-warn-on-duplicate-definitions*
465                          (nx1-whine :duplicate-definition
466                                     `(method ,@(car new-method) ,name ,(cdr new-method))
467                                     (def-info.file old-info)
468                                     (def-info.file new-info)))
469                        (push new-method old-methods)))
470             (def-info-with-new-methods old-info old-methods)))
471          ((or (eq (or old-type 'defun) (or new-type 'defun))
472               (eq (or old-type 'defgeneric) (or new-type 'defgeneric)))
473           (when (and old-type new-type *compiler-warn-on-duplicate-definitions*)
474             (nx1-whine :duplicate-definition name (def-info.file old-info) (def-info.file new-info)))
475           (or new-info old-info))
476          (t
477           (when *compiler-warn-on-duplicate-definitions*
478             (apply #'nx1-whine :duplicate-definition
479                    name
480                    (def-info.file old-info)
481                    (def-info.file new-info)
482                    (cond ((eq old-type 'defmacro) '("macro" "function"))
483                          ((eq new-type 'defmacro) '("function" "macro"))
484                          ((eq old-type 'defgeneric) '("generic function" "function"))
485                          (t '("function" "generic function")))))
486           new-info))))
487
488(defun record-function-info (name info env)
489  (let* ((definition-env (definition-environment env)))
490    (if definition-env
491      (let* ((defs (defenv.defined definition-env))
492             (already (if (listp defs) (assq name defs) (gethash name defs))))
493        (if already
494          (setf (%cdr already) (combine-function-infos name (%cdr already) info))
495          (let ((new (cons name info)))
496            (if (listp defs)
497              (setf (defenv.defined definition-env) (cons new defs))
498              (setf (gethash name defs) new))))
499        info))))
500
501
502;;; This is different from AUGMENT-ENVIRONMENT.
503(defun note-function-info (name lambda-expression env)
504  (let* ((info nil)
505         (name (maybe-setf-function-name name)))
506    (when (lambda-expression-p lambda-expression)
507      (multiple-value-bind (lfbits keyvect) (encode-lambda-list (cadr lambda-expression) t)
508        (setq info (%cons-def-info 'defun lfbits keyvect
509                                   (retain-lambda-expression name lambda-expression env)))))
510    (record-function-info name info env))
511  name)
512
513; And this is different from FUNCTION-INFORMATION.
514(defun retrieve-environment-function-info (name env)
515 (let ((defenv (definition-environment env)))
516   (when defenv
517     (let ((defs (defenv.defined defenv))
518           (sym (maybe-setf-function-name name)))
519       (if (listp defs) (assq sym defs) (gethash sym defs))))))
520
521(defun maybe-setf-function-name (name)
522  (if (and (consp name) (eq (car name) 'setf))
523    (setf-function-name (cadr name))
524    name))
525
526; Must differ from -something-, but not sure what ...
527(defun note-variable-info (name info env)
528  (let ((definition-env (definition-environment env)))
529    (if definition-env (push (cons name info) (defenv.specials definition-env)))
530    name))
531
532(defun compile-file-environment-p (env)
533  (let ((defenv (definition-environment env)))
534    (and defenv (eq 'compile-file (car (defenv.type defenv))))))
535
536(defun cheap-eval (form)
537  (cheap-eval-in-environment form nil))
538
539; used by nfcomp too
540; Should preserve order of decl-specs; it sometimes matters.
541(defun decl-specs-from-declarations (declarations)
542  (let ((decl-specs nil))
543    (dolist (declaration declarations decl-specs)
544      ;(unless (eq (car declaration) 'declare) (say "what"))
545      (dolist (decl-spec (cdr declaration))
546        (setq decl-specs (nconc decl-specs (list decl-spec)))))))
547
548(defun cheap-eval-in-environment (form env &aux sym)
549  (declare (resident))
550  (flet ((progn-in-env (body&decls parse-env base-env)
551           (multiple-value-bind (body decls) (parse-body body&decls parse-env)
552             (setq base-env (augment-environment base-env :declare (decl-specs-from-declarations decls)))
553             (while (cdr body)
554               (cheap-eval-in-environment (pop body) base-env))
555             (cheap-eval-in-environment (car body) base-env))))
556    (if form
557      (cond ((symbolp form) 
558             (multiple-value-bind (expansion win) (macroexpand-1 form env)
559               (if win 
560                 (cheap-eval-in-environment expansion env) 
561                 (let* ((defenv (definition-environment env))
562                        (constant (if defenv (assq form (defenv.constants defenv))))
563                        (constval (%cdr constant)))
564                   (if constant
565                     (if (neq (%unbound-marker-8) constval)
566                       constval
567                       (error "Can't determine value of constant symbol ~s" form))
568                     (if (constant-symbol-p form)
569                       (%sym-global-value form)
570                       (symbol-value form)))))))
571            ((atom form) form)
572            ((eq (setq sym (%car form)) 'quote)
573             (verify-arg-count form 1 1)
574             (%cadr form))
575            ((eq sym 'function)
576             (verify-arg-count form 1 1)
577             (cond ((symbolp (setq sym (%cadr form)))
578                    (multiple-value-bind (kind local-p)
579                        (function-information sym env)
580                      (if (and local-p (eq kind :macro))
581                        (error "~s can't be used to reference lexically defined macro ~S" 'function sym)))
582                    (%function sym))
583                   ((and (consp sym) (eq (%car sym) 'setf) (consp (%cdr sym)) (null (%cddr sym)))
584                    (multiple-value-bind (kind local-p)
585                        (function-information sym env)
586                      (if (and local-p (eq kind :macro))
587                        (error "~s can't be used to reference lexically defined macro ~S" 'function sym)))
588                    (%function (setf-function-name (%cadr sym))))
589                   (t (%make-function nil sym env))))
590            ((eq sym 'nfunction)
591             (verify-arg-count form 2 2)
592             (%make-function (%cadr form) (%caddr form) env))
593            ((eq sym 'progn) (progn-in-env (%cdr form) env env))
594            ((eq sym 'setq)
595             (if (not (%ilogbitp 0 (list-length form)))
596               (verify-arg-count form 0 0)) ;Invoke a "Too many args" error.
597             (let* ((sym nil)
598                    (val nil))
599               (while (setq form (%cdr form))
600                 (setq sym (require-type (pop form) 'symbol))
601                 (multiple-value-bind (expansion expanded)
602                                      (macroexpand-1 sym env)
603                   (if expanded
604                     (setq val (cheap-eval-in-environment `(setf ,expansion ,(%car form)) env))
605                     (set sym (setq val (cheap-eval-in-environment (%car form) env))))))
606               val))
607            ((eq sym 'eval-when)
608             (destructuring-bind (when . body) (%cdr form)
609               (when (or (memq 'eval when) (memq :execute when)) (progn-in-env body env env))))
610            ((eq sym 'if)
611             (destructuring-bind (test true &optional false) (%cdr form)
612               (cheap-eval-in-environment (if (cheap-eval-in-environment test env) true false) env)))
613            ((eq sym 'locally) (progn-in-env (%cdr form) env env))
614            ((eq sym 'symbol-macrolet)
615             (multiple-value-bind (body decls) (parse-body (cddr form) env)
616               (progn-in-env body env (augment-environment env :symbol-macro (cadr form) :declare (decl-specs-from-declarations decls)))))
617            ((eq sym 'macrolet)
618             (let ((temp-env (augment-environment env
619                                                  :macro 
620                                                  (mapcar #'(lambda (m)
621                                                              (destructuring-bind (name arglist &body body) m
622                                                                (list name (enclose (parse-macro name arglist body env)
623                                                                                    env))))
624                                                          (cadr form)))))
625               (progn-in-env (cddr form) temp-env temp-env)))
626            ((and (symbolp sym) 
627                  (compiler-special-form-p sym)
628                  (not (functionp (fboundp sym))))
629             (if (eq sym 'unwind-protect)
630               (destructuring-bind (protected-form . cleanup-forms) (cdr form)
631                 (unwind-protect
632                   (cheap-eval-in-environment protected-form env)
633                   (progn-in-env cleanup-forms env env)))
634               (funcall (%make-function nil `(lambda () (progn ,form)) env))))
635            ((and (symbolp sym) (macro-function sym env))
636             (if (eq sym 'step)
637               (let ((*compile-definitions* nil))
638                     (cheap-eval-in-environment (macroexpand-1 form env) env))
639               (cheap-eval-in-environment (macroexpand-1 form env) env)))
640            ((or (symbolp sym)
641                 (and (consp sym) (eq (%car sym) 'lambda)))
642             (let ((args nil))
643               (dolist (elt (%cdr form)) (push (cheap-eval-in-environment elt env) args))
644               (apply #'call-check-regs (if (symbolp sym) sym (%make-function nil sym env))
645                      (nreverse args))))
646            (t (signal-simple-condition 'simple-program-error "Car of ~S is not a function name or lambda-expression." form))))))
647
648
649(%fhave 'eval #'cheap-eval)
650
651
652
653 
654(defun call-check-regs (fn &rest args)
655  (declare (dynamic-extent args)
656           (optimize (debug 3)))        ; don't use any saved registers
657  (let ((old-regs (multiple-value-list (get-saved-register-values))))
658    (declare (dynamic-extent old-regs))
659    (multiple-value-prog1 (apply fn args)
660      (let* ((new-regs (multiple-value-list (get-saved-register-values)))
661             (new-regs-tail new-regs))
662        (declare (dynamic-extent new-regs))
663        (unless (dolist (old-reg old-regs t)
664                  (unless (eq old-reg (car new-regs-tail))
665                    (return nil))
666                  (pop new-regs-tail))
667          (apply 'error "Registers clobbered applying ~s to ~s~%~@{~a sb: ~s, Was: ~s~%~}"
668                 fn args
669                 (mapcan 'list
670                         (let ((res nil))
671                           (dotimes (i (length old-regs))
672                             (push (format nil "save~d" i) res))
673                           (nreverse res))
674                         old-regs
675                         new-regs)))))))
676
677
678
679
680
681;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
682;; Stack frame accessors.
683
684; Kinda scant, wouldn't you say ?
685
686
687;end of L1-readloop.lisp
688
Note: See TracBrowser for help on using the repository browser.