Re: type checker plugin does not affect inferred type signatures

2015-02-16 Thread Adam Gundry
Hi Adam, It's great to hear that you are trying the plugins functionality, this is exactly the kind of experimentation it's designed for! I'm a little confused about what you're trying to achieve, though. Can you give some examples of code you'd like to be able to write? In general, GHC's type in

Re: type checker plugin does not affect inferred type signatures

2015-02-16 Thread adam vogt
Hi Adam, I've added a README which tries to explain things: https://github.com/aavogt/HListPlugin When I produce a wanted constraint from a wanted constraint, things work as I wanted. Thanks for the suggestion! Regards, Adam On Mon, Feb 16, 2015 at 4:36 AM, Adam Gundry wrote: > Hi Adam, > > It