11 Sep
2009
11 Sep
'09
1:06 p.m.
Hello staafmeister, 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 language version -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com