Commit b5316f08 authored by Michał Herda's avatar Michał Herda 🤔

Fix upgraded-array-element-type.lsp

The comment in 1b8a8157 was not formatted properly and broke the build.
parent 5eeb6e31
......@@ -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