Skip to content
marick edited this page Jun 29, 2011 · 23 revisions

1.2

  • Tabular facts (Done)
  • Describe how often prerequisites can be called. (Done)
  • fact's return value is appropriately true or false. (Done)
  • Protocol functions can be used in prerequisites. (Done)

Unscheduled

  • Doc strings

  • A thoroughgoing effort to provide good error messages for syntax (etc.) errors.

  • XML/TAP format output, like this: https://github.com/arohner/lein-test-out

  • Colorized test output, perhaps using Lazytest's runners.

Wishlist

  • Typed metaconstants A problem with metaconstants is that you can't say something like

       (f ...n...) => (* 2 ...n...)
    

    because ...n...'s value is a symbol. It'd be nice if you could give it a type Integer, meaning it'd be assigned an arbitrary (random?) integer.

  • Reversible checkers.

    ...movie... => has-favorite-actor? ; instead of (has-favorite-actor? ...movie...) => truthy

    (recommendations) => (just ...movie...) ; instead of (recommendations) => [...movie...]

Clone this wiki locally