Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
15 lines (11 sloc) 513 Bytes
Debugging:
* Create a test suite to be sure of correctness & usability.
* Combine the test suite into a single executable and then do:
$> darcs setpref test "runhaskell Tests.hs"
* Also, tell Setup.hs so that `cabal test` and `runhaskell
Setup.hs test` call the test suite.
Enhancements:
* Add a fast occurs check for looking at the whole binding state (outside of unifications)
Sooner than later:
* Proper benchmarking. Especially for the union--find enhancement
Eventually: