My problem is about tagging haskell expressions with the types I want
them to have. What is the compiler error "Can't for-all tye type
variable(s) `wef' in the inferred type `CONS ei f7t34 wef'" about? I
mean, when I get it, how can I get more information about what went
wrong? (I am
[redirected from haskell-list]
From: Matthias Fischmann [EMAIL PROTECTED]
Date: Sun, 1 Mar 1998 13:32:28 +0100 (MET)
Message-Id: [EMAIL PROTECTED]
Organization: MPII
To: [EMAIL PROTECTED]
Subject: type tags rejected
Hi all,
My problem is about tagging haskell expressions with the types I
