cannot compute derivative of overlapping types
ERROR in (t-rte-not-random) (rte_construct.clj:933)
Uncaught exception, not in assertion.
expected: nil
actual: clojure.lang.ExceptionInfo: cannot compute derivative of overlapping types because clojure.lang.ISeq is not a subtype of (member (1 2 3) (1 2) (1) [])
{:error-type :derivative-undefined,
:wrt clojure.lang.ISeq,
:expr (member (1 2 3) (1 2) (1) []),
:sub-types [{:type (and clojure.lang.ISeq (member (1 2 3) (1 2) (1) []))}
{:type (and clojure.lang.ISeq (not (member (1 2 3) (1 2) (1) [])))}]}
at clojure_rte.rte_construct$derivative$fn__3067.invoke (rte_construct.clj:933)
clojure_rte.rte_construct$traverse_pattern$if_multiple_operands__2921.invoke (rte_construct.clj:501)
clojure_rte.rte_construct$traverse_pattern.invokeStatic (rte_construct.clj:516)
clojure_rte.rte_construct$traverse_pattern.invoke (rte_construct.clj:426)
clojure_rte.rte_construct$traverse_pattern.invokeStatic (rte_construct.clj:436)
clojure_rte.rte_construct$traverse_pattern.invoke (rte_construct.clj:426)
clojure_rte.rte_construct$derivative.invokeStatic (rte_construct.clj:915)
clojure_rte.rte_construct$derivative.invoke (rte_construct.clj:895)
clojure_rte.rte_construct$derivative$walk__3061$fn__3062.invoke (rte_construct.clj:901)
clojure.core$map$fn__5851.invoke (core.clj:2753)
clojure.lang.LazySeq.sval (LazySeq.java:42)
clojure.lang.LazySeq.seq (LazySeq.java:51)
clojure.lang.Cons.next (Cons.java:39)
clojure.lang.RT.next (RT.java:709)
clojure.lang.SeqIterator.hasNext (SeqIterator.java:41)
clojure.lang.Murmur3.hashOrdered (Murmur3.java:105)
clojure.lang.ASeq.hasheq (ASeq.java:86)
clojure.lang.Util.dohasheq (Util.java:177)
clojure.lang.Util.hasheq (Util.java:168)
clojure.lang.Murmur3.hashOrdered (Murmur3.java:107)
clojure.lang.ASeq.hasheq (ASeq.java:86)
clojure.lang.Util.dohasheq (Util.java:177)