Hello,
Using ghc-7.10 rc1, I am trying to write a type checker plugin that
adds wanted constraint which helps ghc to infer more types. However,
it seems that the wanted constraints I add don't get added to the
inferred type of the declaration, so that I get a type error like:
a.hs:1:1: Warning:
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
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