Permalink
Browse files

[Issue #82] updated backlog with new insights

  • Loading branch information...
1 parent 988b8a5 commit a9286d38d20435e1181851a60b4bf9ed6147c0c0 @AlexBaranosky AlexBaranosky committed Mar 2, 2012
Showing with 25 additions and 28 deletions.
  1. +25 −28 FORMULAS-BACKLOG-AND-FEATURE-IDEAS.md
@@ -1,37 +1,34 @@
-1. [x] improve formula failure reporting
- a. [x] report the first failure
- b. [x] make sure the fact count only increases once per formula
-
-2. [ ] implement shrinking. Report only the first fully shrunken failure
-
- QUESTION: how can I change the inputs (which need to shrink), when checking in unprocessed? sounds like formulas
- might need to record the inputs in a map before evaluating each generation, which would
- happen way at the top level. Then that map could be checked in unprocessed, but that
- unsettles me. Hmmm...
-
-3 [ ] make linenumbers erport correctly
+* [x] improve formula failure reporting
+ a. [x] report the first failure
+ b. [x] make sure the fact count only increases once per formula
-4. [ ] don't run more tests than need be if there is already failure in this formula's batch.
+* [x] make number of generated facts per formula dynamically bindable
+ a. [x] throw an exception if this value is set <= 1
-5. [ ] consider implementing with @marick's metaconstant syntax
+* [x] figure out how to make syntax validation errors show something more sensible than the
+ error message you'd see for a problem with a fact validation problem
-6. [ ] shrink function overrides
- a. [ ] no shrink
+* [ ] don't run more tests than need be if there is already failure in this formula's batch.
+
+* [ ] make line numbers report correctly
-7. [ ] if we do metaconstant style, implement generator overriding
+* [ ] implement shrinking. Report only the first fully shrunken failure
+ [ ] to do correctly, 'shrink' depends on 'generate'
+* [ ] consider implementing with @marick's metaconstant syntax
-OTHER:
-
-* [x] make number of generated facts per formula dynamically bindable
- [x] throw an exception if this value is set <= 1
-
-* possibly don't use fact macro inside of formula, but instead do something like tabular
-
-* [x] figure out how to make syntax validation errors show something more sensible than the
- error message you'd see for a problem with a fact validation problem
+* [ ] shrink function overrides
+ a. [ ] no shrink
+
+* [ ] if we do metaconstant style, implement generator overriding
--- getting there with the new validate method for "formula"
- [] fix: however, there's an interesting form of failure if you run (formula [a 1] 1 =>)
- ... since the formula macro splices in :formula :formula-in-progress
+ a. [] fix: however, there's an interesting form of failure if you run (formula [a 1] 1 =>)
+ ... since the formula macro splices in :formula :formula-in-progress
+
+ will the below note help this?
+
+NOTES:
+
+* possibly don't use fact macro inside of formula, but instead do something like tabular

0 comments on commit a9286d3

Please sign in to comment.