class Fallible m where
fail_ :: String - m a
rethrow:: Fallible n = m a - n b
GHC 2.10 (solaris) complains about this:
Cycle.lhs:2: Cycle in class declarations ... `Fallible' Cycle.lhs:4
Whereas Hugs (jan98) is fine with it.
I didn't see anything in the
The Glasgow Haskell Compiler -- version 3.02
==
We are pleased to announce a new release of the Glasgow Haskell
Compiler (GHC), version 3.02. The source distribution is freely
available via the World-Wide Web and through
S. Alexander Jacobson wonders:
If you have a statement like:
result= a || b || c
does Haskell guarantee that a gets evaluated before b?
Indeed it does, for see the standard Prelude definition of (||):
True || _ = True
False || x = x
Hope that helps.
Slainte,
Alex.
On 28-May-1998, Adrian Hey [EMAIL PROTECTED] wrote:
A strong type system is supposed to prevent runtime errors.
Thus it makes sense to disallow anything that might
result in an attempt to access an unbound type.
Yes, but in the cases we've been talking about we know that there will be
If you have a statement like:
result= a || b || c
does Haskell guarantee that a gets evaluated before b?
If it does then I only have to protect against pattern match failure in
one place, a.
Yes; if a is true, b and c won't be evaluated. That's part of
the defn of ||
Simon
Advanced apologies in case you receive more than one copy of this.--fa
Preliminary Announcement and Call for Papers
COORDINATION '99
Third International Conference on
The Glasgow Haskell Compiler -- version 3.02
==
We are pleased to announce a new release of the Glasgow Haskell
Compiler (GHC), version 3.02. The source distribution is freely
available via the World-Wide Web and through