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.zigans...@gmail.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
