cl-algebraic-data-type icon indicating copy to clipboard operation
cl-algebraic-data-type copied to clipboard

Published 20 hours ago • verified publisher icon stylewarning

Subtype relation and include

Open kchanqvq opened this issue 3 years ago • 1 comments 

(defdata bool  true  false)

(defdata (fuzzy-bool :include bool)
  (fuzzy (real (0) (1))))

(typep (fuzzy 0.1) 'bool)
;; => T

(typep true 'fuzzy-bool)
;; => NIL

Is this really intended behavior?

kchanqvq avatar Mar 11 '22 15:03 kchanqvq