[Haskell-cafe] Understanding GHC's instance inference.

2012-12-04 Thread Takayuki Muranushi
Dear everyone, I have a code https://github.com/nushio3/practice/blob/master/instance-inference/zipf-11-1.hs that produces a type-error when I remove a type signature. https://github.com/nushio3/practice/blob/master/instance-inference/zipf-11.hs The strange point is the following error message f

Re: [Haskell-cafe] Understanding GHC's instance inference.

2012-12-05 Thread adam vogt
On Wed, Dec 5, 2012 at 12:12 AM, Takayuki Muranushi wrote: > Dear everyone, > > I have a code > https://github.com/nushio3/practice/blob/master/instance-inference/zipf-11-1.hs > > that produces a type-error when I remove a type signature. > https://github.com/nushio3/practice/blob/master/instance-

Re: [Haskell-cafe] Understanding GHC's instance inference.

2012-12-07 Thread Takayuki Muranushi
Thank you, Adam, for I didn't know about paczesiowa's article. That will be useful for me. What I was trying to make is a zipWithN that takes the zipper function as its "last" argument, not the first. This is because in my applications the zipper functions tend to be complicated lambdas, as illus