-----BEGIN PGP SIGNED MESSAGE-----
On Thu, 28 May 1998, S. Alexander Jacobson wrote:
> 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, the definition of || guarantees that a will be evaluated before b. If a
evaluates to True then b is never evaluated.
But i don't really see what this has to do with pattern match failure...
You don't have any patterns that can fail?
n.
- - [ www.dtek.chalmers.se/~d95mback ] - [ PGP: 0x453504F1 ] - [ UIN: 4439498 ] -
-----BEGIN PGP SIGNATURE-----
Version: 2.6.3ia
Charset: noconv
iQCVAwUBNW52Ahl6xbhFNQTxAQEkvgP/QnrrG/T+9detO3auuoPn3aD4LMhSCvwu
8tbmJkST9u1x1c6Qwz1NqU4Q2Anm96NDirDuLPNLQMPWVLeVh2dV3b3KB2AKnAsc
8ZwxTpKdnjF0b45AUyPJsQYaehLv7sMADyh8u5d8DNusLYGqOfzfxr1iV27v70gC
ScOrAKW9DQ8=
=gSOY
-----END PGP SIGNATURE-----