Closed DavePearce closed 4 months ago
Looks like there are some missing :binary constraints in the standard library. For example:
:binary
(defpurefun ((~and :@bool) a b) (~ (and a b)))
This should have type :binary@bool because ~ guarantees the result is either 0 or 1.
:binary@bool
~
0
1
Looks like there are some missing
:binaryconstraints in the standard library. For example:This should have type
:binary@boolbecause~guarantees the result is either0or1.