GitLab

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)