ERROR in (t-rte-not-random) (rte_construct.clj:933) Uncaught exception, not in assertion.
[:rte (:or (:and (:cat (:cat (:not :epsilon)) (member 1 a)) (:or (:? (:or)) (:and (satisfies keyword?))) (:not :sigma)) :empty-set (:not :sigma) (:cat (:? (:* (:not (:cat)))) (:and :empty-set :sigma) (:? (:* (:? :sigma)))))]
[:rte (:contains-any :empty-set
(:or (:cat (:? :epsilon)
(:cat (:* (:not :sigma))))
:sigma
(:contains-any :epsilon
(:and (member (1 2 3) (2 1 3)))))
:epsilon
(satisfies seq?))]
lein test :only clojure-rte.rte-tester-test/t-rte-not-random
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) (2 1 3))
{:error-type :derivative-undefined,
:wrt clojure.lang.ISeq,
:expr (member (1 2 3) (2 1 3)),
:sub-types [{:type (and clojure.lang.ISeq (member (1 2 3) (2 1 3)))}
{:type (and clojure.lang.ISeq (not (member (1 2 3) (2 1 3))))}]}
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)
Edited by Jim Newton