Re: "less polymophic" problem

On Tue, Apr 29, 2003 at 07:17:41PM -0700, Seth Kurtzberg wrote:

Hello list,

getaline :: forall s. ST s (STRef s [[Char]]) -> [[Char]]

Try getaline :: (forall s. ST s (STRef s [[Char]])) -> [[Char]] This way you will use local universal quantification. The signature you gave is simply equivalent to getaline :: ST s (STRef s [[Char]]) -> [[Char]]

-- which does not change the error. The type in the signature for -- rlines is that displayed by ghci for tl3

Best regards, Tom -- .signature: Too many levels of symbolic links