Re: Fixing a type variable inside a function

On Saturday, May 17, 2003, at 01:08 AM, Wolfgang Jeltsch wrote:

Hello,

the following works as expected: foo :: MyTypeClass resultType => resultType foo = let x = fromString (toString x) in x

Ciao, Wolfgang

Thanks Wolfgang! This fixed the problem perfectly. I find it interesting there are so many techniques (especially recursive ones which take advantage of laziness) which can be used to give extra information to the type system. Thanks also to Karl-Filip and Hal for their insightful suggestions. -- % Andre Pang : just.your.average.bounty.hunter