Do not filter types in declarations / proclamations

This commit is contained in:
Juan Jose Garcia Ripoll 2010-05-09 16:17:19 +02:00
parent c79c014e31
commit 8a72a6fb6e

View file

@ -117,7 +117,7 @@
(defun valid-type-specifier (type)
(handler-case
(if (subtypep type 'T)
(values t (type-filter type))
(values t type)
(values nil nil))
(error (c) (values nil nil))))