[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-commits] gcl/ansi-tests ansi-aux.lsp
From: |
Paul F. Dietz |
Subject: |
[Gcl-commits] gcl/ansi-tests ansi-aux.lsp |
Date: |
Mon, 03 Feb 2003 21:44:17 -0500 |
CVSROOT: /cvsroot/gcl
Module name: gcl
Changes by: Paul F. Dietz <address@hidden> 03/02/03 21:44:17
Modified files:
ansi-tests : ansi-aux.lsp
Log message:
Added checks that if T1 and T2 are disjoint, then if SUBTYPEP succeeds
on T (AND (NOT T1) (NOT T2)) it returns true.
CVSWeb URLs:
http://savannah.gnu.org/cgi-bin/viewcvs/gcl/gcl/ansi-tests/ansi-aux.lsp.diff?tr1=1.37&tr2=1.38&r1=text&r2=text