20 Mar
2008
20 Mar
'08
9 a.m.
On 3/18/08, Samuel Bronson
This patch bundle consists of Control.Arrow along with the modules it depends upon. Control.Arrow does not compile even with the (->) improvement patch I previously sent to the list; I believe this to be due to problems in kind inference. Could you look at the error, John? (Recall that this should all work in *standard* haskell, and so helping will not be a violation of the moratorium on extensions.)
It really looks like kind inference isn't paying any attention to instance headers... (nevermind that instance declarations are gone by this point ;-).