projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.9.5.82:
[sbcl.git]
/
tests
/
type.pure.lisp
diff --git
a/tests/type.pure.lisp
b/tests/type.pure.lisp
index
05e7a30
..
3c42e2d
100644
(file)
--- a/
tests/type.pure.lisp
+++ b/
tests/type.pure.lisp
@@
-294,9
+294,13
@@
ACTUAL ~D DERIVED ~D~%"
(subtypep 'generic-function 'function)
(assert yes)
(assert win))
(subtypep 'generic-function 'function)
(assert yes)
(assert win))
-;; this would be in some internal test suite like type.before-xc.lisp
-;; except that generic functions don't exist at that stage.
+;;; this would be in some internal test suite like type.before-xc.lisp
+;;; except that generic functions don't exist at that stage.
(multiple-value-bind (yes win)
(subtypep 'generic-function 'sb-kernel:funcallable-instance)
(assert yes)
(assert win))
(multiple-value-bind (yes win)
(subtypep 'generic-function 'sb-kernel:funcallable-instance)
(assert yes)
(assert win))
+
+;;; all sorts of answers are right for this one, but it used to
+;;; trigger an AVER instead.
+(subtypep '(function ()) '(and (function ()) (satisfies identity)))