Issues · Jim Newton / clojure-rte

New issue

ERROR in (t-rte-not-random) (rte_construct.clj:933) Uncaught exception, not in assertion.

#70 · opened Dec 12, 2020 by Jim Newton
- CLOSED
- 0
updated Dec 13, 2020
FAIL in (t-inhabited-random) (genus_test.clj:427)

#66 · opened Nov 17, 2020 by Jim Newton
- CLOSED
- 4
updated Nov 20, 2020
simplify method -inhabited?

#19 · opened Oct 05, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 13, 2020
disjoint? cannot decide (and Long (not (= 0))) vs Long -- assuming not disjoint

#65 · opened Nov 12, 2020 by Jim Newton
- CLOSED
- 3
updated Nov 13, 2020
incorporate spec predicates into type system

#18 · opened Oct 05, 2020 by Jim Newton
- CLOSED
- 2
updated Nov 10, 2020
Eliminate registered-type?

#59 · opened Nov 04, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 09, 2020
rename rte-compile to rte/compile

#64 · opened Nov 06, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 09, 2020
rename rte-match to match

#63 · opened Nov 06, 2020 by Jim Newton
- CLOSED
- 2
updated Nov 06, 2020
alias gns and rte even in genus and rte-construct namespaces

#62 · opened Nov 06, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 06, 2020
rename rte-expand to expand-1

#61 · opened Nov 06, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 06, 2020
disjoint? cannot decide

#60 · opened Nov 04, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 05, 2020
remove unused error cases from subtype? etc.

#57 · opened Nov 03, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 03, 2020
eliminate 1-arg version of inhabited?

#58 · opened Nov 03, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 03, 2020
eliminate 2-ary function gns/type-equivalent?

#56 · opened Nov 03, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 03, 2020
eliminate 2-ary function gns/subtype?

#55 · opened Nov 03, 2020 by Jim Newton
- CLOSED
- 2
updated Nov 03, 2020
eliminate 2-ary function gns/disjoint?

#54 · opened Nov 03, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 03, 2020
cannot compute derivative of overlapping types

#46 · opened Oct 28, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 02, 2020
not yet implemented: derivative

#48 · opened Oct 28, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 02, 2020
FAIL in (t-dnf) (bdd_test.clj:243) dnf by serialization out and in

#52 · opened Nov 02, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 02, 2020
FAIL in (t-inhabited) (genus_test.clj:278)

#51 · opened Oct 30, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 02, 2020