(!define-type-class alien)
+(!define-type-method (alien :negate) (type)
+ (make-negation-type :type type))
+
(!define-type-method (alien :unparse) (type)
`(alien ,(unparse-alien-type (alien-type-type-alien-type type))))
(if alien-type
(let ((lisp-rep-type (compute-lisp-rep-type alien-type)))
(if lisp-rep-type
- (specifier-type lisp-rep-type)
+ (single-value-specifier-type lisp-rep-type)
(%make-alien-type-type alien-type)))
*universal-type*))