PolyKind issue in GHC 7.6.1rc1: How to make a kind a functional dependency?

Simon Peyton-Jones simonpj at microsoft.com
Fri Oct 12 18:51:21 CEST 2012

| > (Also - what's the general status on this initiative? Has much
| > happened in about a month?)
| From my end, nothing. I'm trying to wrap up some other work I'm doing
| on GHC (ordered overlapping type family instances), and it looks like
| some of the questions I raised in my last email in this thread are
| still open.

I think "this initiative" refers to the question of eta expansion in FC.  

We are stalled on this, partly for lack of bandwidth and partly because there are more urgent things to do.  But I did capture the issue in this ticket


More information about the Glasgow-haskell-users mailing list