summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--example.lisp8
1 files changed, 8 insertions, 0 deletions
diff --git a/example.lisp b/example.lisp
index a8e0690..d35c314 100644
--- a/example.lisp
+++ b/example.lisp
@@ -64,3 +64,11 @@
(print (subtypep 'b 'printable)) ;=> T
(print (subtypep 'b 'additive)) ;=> T
(print (subtypep 'b 'serialisable)) ;=> NIL
+
+;; Protocols by default inherit their direct ancestors' strictness,
+;; where NIL is recessive, while T is dominant. In any case, a
+;; strictness default can be overridden by providing the :STRICTNESS
+;; option explicitely.
+(print (subtypep 'a 'field)) ;=> T
+(print (subtypep 'a 'serialisable)) ;=> NIL
+(print (subtypep 'a 'serialisable-field)) ;=> NIL