bulat.ziganshin at gmail.com
Fri Sep 11 09:06:43 EDT 2009
Friday, September 11, 2009, 4:57:01 PM, you wrote:
> Here memo2 is a function that works like a combinator to obtain a memoized
> recursive function. However the type of the function depends on how I define
> it. In point-free style it gets the wrong
> type, however if I define (s2) with explicit arguments the type is correct?
> Do you know what happens here? I would expect the types to be the same.
looks like you need to pass -fno-monomorphism-restriction to ghci.
it's a "bug" of haskell definition, expected to be removed in the next
Bulat mailto:Bulat.Ziganshin at gmail.com
More information about the Haskell-Cafe