Commit 034d1add authored by Daniel Kochmański's avatar Daniel Kochmański

Merge branch 'upgraded-array-element-type.nil.1' into 'master'

Fix upgraded-array-element-type.lsp

See merge request !31
parents 5eeb6e31 b5316f08
......@@ -111,7 +111,7 @@
;;; Test of upgrading NIL (it should be type equivalent to NIL).
;;; This follows from:
;;; (1) T1 being a subtype of T2 implies UAET(T1) is a subtype of UAET(T2)
(see section 15.1.2.1, paragraph 3),
;;; (see section 15.1.2.1, paragraph 3),
;;; (2) UAET(BIT) being BIT,
;;; (3) UAET(CHARACTER) being CHARACTER.
;;; NIL is a subtype of BIT and CHARACTER, so UAET(NIL) must also be. But the
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment