From ebefa89d55384450970b01030c1b4d693fd7deba Mon Sep 17 00:00:00 2001 From: Juan Jose Garcia Ripoll Date: Thu, 13 May 2010 22:32:19 +0200 Subject: [PATCH] Added a compiler macro for optional type checks --- src/cmp/cmptype.lsp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/cmp/cmptype.lsp b/src/cmp/cmptype.lsp index daa5c90da..eb3a5aebd 100644 --- a/src/cmp/cmptype.lsp +++ b/src/cmp/cmptype.lsp @@ -119,3 +119,8 @@ `(let* ((%value ,value)) ,(type-error-check '%value type) (the ,type %value)))))) + +(defmacro optional-type-check (&whole whole value type &environment env) + (if (policy-assume-right-type) + value + `(assert-type-if-known ,value ,type)))