order of evalutation of ||

1998-05-29 Thread Alex Ferguson
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.

Re: order of evalutation of ||

1998-05-29 Thread Simon L Peyton Jones
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

order of evalutation of ||

1998-05-28 Thread S. Alexander Jacobson
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. -Alex- ___ S. Alexander Jacobson