| class (Monad m) => MRef m r | r->m, m->r
| class (Monad m) => Stream m h | h->m
| newtype StringReader r = StringReader r
| instance (Monad m, MRef m r) => Stream m (StringReader r)
|
| coverage condition requires that monad type 'm' should occur in stream
| handle type 'StringReader r'. Wi
Hello Simon,
Wednesday, September 20, 2006, 7:35:39 PM, you wrote:
> Quite right; that's just as specified. The coverage condition is
> documented in the manual. (GHC 6.4 and Hugs are too liberal, and
> thereby risk divergence during type checking.) If you want this
> program to work, use -fa
From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Bulat Ziganshin
| Sent: 20 September 2006 14:14
| To: glasgow-haskell-users@haskell.org
| Subject: 6.6 strikes me again :)
|
| Hello glasgow-haskell-users,
|
| attached module compiles fine with ghc 6.4.2, hugs
Hello glasgow-haskell-users,
attached module compiles fine with ghc 6.4.2, hugs 2003+, but not with
my ghc 6.5 snapshot. it says:
66.hs:9:0:
Illegal instance declaration for `Stream m (StringReader r)'
(the Coverage Condition fails for one of the functional dependencies)
In the in