Permalink
Commits on Dec 4, 2010
  1. Type safe oracles with oracle polymorphism. Defaults to StringOracles…

    batterseapower committed Dec 4, 2010
    … (which can now do IO, I don't want any unsafePerformIO stuff)
  2. Remove TODO comment

    batterseapower committed Dec 4, 2010
  3. After massive refactoring, recursive invocation of need' now works, s…

    batterseapower committed Dec 4, 2010
    …o tests (apart from cyclic) pass
  4. Comment only

    batterseapower committed Dec 4, 2010
  5. Comment only

    batterseapower committed Dec 4, 2010
  6. Recursively invoke need to determine if needed files are up to date, …

    batterseapower committed Dec 4, 2010
    …only serialize Dirty to the database so that we have to recheck our assumption that things are Clean when we rerun shake
  7. Comments only

    batterseapower committed Dec 4, 2010
  8. Comment only

    batterseapower committed Dec 4, 2010
  9. Comment only

    batterseapower committed Dec 4, 2010
  10. Lots of refactoring to move stuff out of the Act monad and hennce I a…

    batterseapower committed Dec 4, 2010
    …m able to actually introduce the critical parallel call into need
  11. Comment only

    batterseapower committed Dec 4, 2010
Commits on Dec 3, 2010
  1. Use need instead of runRule in the implementation of want: gets paral…

    batterseapower committed Dec 3, 2010
    …lelism more straightforwardly and deals with the db better