"less polymophic" problem

Tomasz Zielonka t.zielonka@students.mimuw.edu.pl
Wed, 30 Apr 2003 10:33:27 +0200


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