haddock specializeInstHead

Alan & Kim Zimmerman alan.zimm at gmail.com
Fri Oct 20 17:33:29 UTC 2017

I am working the next stage of Trees that Grow into GHC [1], and need to
update Haddock.

The `Specialize` module[2] exports a single function, `specializeInstHead`
which is called once, specialised to `GhcRn`.

So all it needs to be for haddock use is

specializeInstHead :: InstHead GhcRn -> InstHead GhcRn

But the entire module is polymorphic in the AST parameter, so it has the
following instead

specializeInstHead :: (Ord (IdP name), DataId name, SetName (IdP name),
                                NamedThing (IdP name))
                       => InstHead name -> InstHead name

Question: does it need to be so polymorphic?

I am hitting issues getting the type parameter change worked through, and
it seems a bit pointless to slog on with it if it is unnecessary.


[1] https://github.com/ghc/ghc/tree/wip/ttg-2017-10-13
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20171020/2aa302f6/attachment.html>

More information about the ghc-devs mailing list