Mike Izbicki

I think what you're suggesting is that given a function `f`, Herbie might want to rewrite it to something that incurs an `Ord` constraint (which you can't add), and you...

Sure, I can add a few options to toggle things like this. I'll probably wait a few days to collect feedback from people about what options would be useful before...

You can now pass the flag `-fplugin-opt=Herbie:noRewrite` to prevent the plugin from performing rewrites. This will eliminate all the warnings, but there's still no option within the Herbie program to...

Which version of ghc are you using? This was working for me on 7.10.2.

Newer versions of GHC have changed the interface to Typeable, so unfortunately it won't work. It shouldn't be much work to add support for these newer versions, but I don't...

I won't be available for the full two hours, but I can do from 11am-noon.

Additionally, as a reminder, there is office hours from 11am-noon on Friday where you all are welcome to ask questions about the final.

@damienstanton The version on hackage will only run on ghc 7.6. The master branch has a number of significant improvements, however, so that's what I'd recommend using. That should compile...

This will happen sometime this summer, but I'm sorry that I can't be more specific than that with a date. On Mon, Jun 1, 2015 at 4:50 PM, Malcolm Greaves...

Does 1c5f8aeb99ccfbe0d15e4e9033d87e15c6383bad do something similar to what you had in mind? > Even better would be a way to tell herbie the filtered range of arguments that can reach a...