Issues · Jim Newton / clojure-rte

New issue

cannot compute derivative of overlapping types

#71 · created Feb 02, 2021 by Jim Newton
- 0
updated Feb 02, 2021
ERROR in (t-rte-not-random) (rte_construct.clj:933) Uncaught exception, not in assertion.

#70 · created Dec 12, 2020 by Jim Newton
- CLOSED
- 0
updated Dec 13, 2020
implement typecase

#69 · created Dec 11, 2020 by Jim Newton
- 1
updated Dec 13, 2020
remove Object as special case of class-primary-flag

#68 · created Dec 10, 2020 by Jim Newton
- 0
updated Dec 10, 2020
failed "dnf vs cnf"

#67 · created Nov 21, 2020 by Jim Newton
- 0
updated Nov 21, 2020
FAIL in (t-inhabited-random) (genus_test.clj:427)

#66 · created Nov 17, 2020 by Jim Newton
- CLOSED
- 4
updated Nov 20, 2020
disjoint? cannot decide (and Long (not (= 0))) vs Long -- assuming not disjoint

#65 · created Nov 12, 2020 by Jim Newton
- CLOSED
- 3
updated Nov 13, 2020
rename rte-compile to rte/compile

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

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

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

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

#60 · created Nov 04, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 05, 2020
Eliminate registered-type?

#59 · created Nov 04, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 09, 2020
eliminate 1-arg version of inhabited?

#58 · created Nov 03, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 03, 2020
remove unused error cases from subtype? etc.

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

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

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

#54 · created Nov 03, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 03, 2020
FAIL in (t-canonicalize-and) (genus_test.clj:337)

#53 · created Nov 02, 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 · created Nov 02, 2020 by Jim Newton
- CLOSED
- 1
updated Nov 02, 2020