Fixed a few bugs in the new search combinators
authorDavid Cock <david.cock@inf.ethz.ch>
Mon, 24 Aug 2015 07:29:28 +0000 (09:29 +0200)
committerDavid Cock <david.cock@inf.ethz.ch>
Mon, 24 Aug 2015 07:29:28 +0000 (09:29 +0200)
commitc5f84ca61f24131bfb5989063202001e0eb98dca
tree0784c3c8d2eddc6ae7e54e695382ea6c54b61534
parent5e533b69ca41c6256237f03421102786e8bf937b
Fixed a few bugs in the new search combinators

Signed-off-by: David Cock <david.cock@inf.ethz.ch>
hake/RuleDefs.hs