Plaster
New
List
Login
common-lisp
default
phoe
2019.11.17 17:32:53
CCL> (defparameter *type* `(or (not (cons (eql 0) (real -3.926510009989861d7 -3.926510009989861d7))) (not (cons t (eql 0))))) CCL> (specifier-type *type*) #<UNION-CTYPE (OR (NOT CONS) (CONS (INTEGER 0 0) (OR (REAL * (-3.926510009989861D+7)) (REAL (-3.926510009989861D+7)) (NOT INTEGER) (INTEGER * -1))) (CONS (OR (NOT INTEGER) (INTEGER * -1) (INTEGER 1)) T) )> CCL> (specifier-type `(not ,*type*)) #<NAMED-CTYPE NIL>
Raw
Annotate
Repaste