Commit b20abacb authored by Christophe Rhodes's avatar Christophe Rhodes
Browse files

0.8.7.38: 

	Make (specifier-type 'atom) unparse as ATOM, now that we have
	a non-sucky negation-type and NOT translator
parent 94743c6e

src/code/late-type.lisp

+3 −1
Original line number Diff line number Diff line
@@ -1223,7 +1223,9 @@ 
  (negation-type-type x))



(!define-type-method (negation :unparse) (x)

  `(not ,(type-specifier (negation-type-type x))))

  (if (type= (negation-type-type x) (specifier-type 'cons))

      'atom

      `(not ,(type-specifier (negation-type-type x)))))



(!define-type-method (negation :simple-subtypep) (type1 type2)

  (csubtypep (negation-type-type type2) (negation-type-type type1)))

tests/type.pure.lisp

+1 −10
Original line number Diff line number Diff line
@@ -43,16 +43,7 @@ 
			array

			generic-function

			simple-error

			;; so it might seem easy to change the HAIRY

			;; :UNPARSE method to recognize that (NOT

			;; CONS) should unparse as ATOM. However, we

			;; then lose the nice (SUBTYPEP '(NOT ATOM)

			;; 'CONS) => T,T behaviour that we get from

			;; simplifying (NOT ATOM) -> (NOT (NOT CONS))

			;; -> CONS. So, for now, we leave this

			;; commented out.

			;;

			;; atom

			atom

			hash-table

			simple-string              

			base-char

version.lisp-expr

+1 −1
Original line number Diff line number Diff line
@@ -17,4 +17,4 @@ 
;;; checkins which aren't released. (And occasionally for internal

;;; versions, especially for internal versions off the main CVS

;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)

"0.8.7.37"
 
"0.8.7.38"