From 5bbb85fd7fed31ab4b8378198c13620eab478d54 Mon Sep 17 00:00:00 2001 From: Juan Jose Garcia Ripoll Date: Sun, 26 May 2013 11:09:53 +0200 Subject: [PATCH] When type propagation errors happen, show the function context. --- src/cmp/cmpprop.lsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/cmp/cmpprop.lsp b/src/cmp/cmpprop.lsp index 43580f4b4..a709a5834 100644 --- a/src/cmp/cmpprop.lsp +++ b/src/cmp/cmpprop.lsp @@ -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