When type propagation errors happen, show the function context.

This commit is contained in:
Juan Jose Garcia Ripoll 2013-05-26 11:09:53 +02:00
parent d6218547a1
commit 5bbb85fd7f

View file

@ -29,6 +29,10 @@
(return-from p1propagate (values 'null assumptions)))
(when (c1form-p form)
(let* ((*cmp-env* (c1form-env form))
(*compile-file-pathname* (c1form-file form))
(*compile-file-position* (c1form-file-position form))
(*current-form* (c1form-form form))
(*current-toplevel-form* (c1form-toplevel-form form))
(name (c1form-name form))
(propagator (gethash name *p1-dispatch-table*)))
(when propagator