[Haskell-cafe] Language semantics

[Andrew Coppin]

I have a tricky little question...

Suppose I write a function like this:

  foo pattern1
    | gard1 = ...
    | gard2 = ...
  foo pattern2
    | gard3 = ...
    | gard4 = ...

According to one tutorial I read, if pattern1 matches, pattern2 will 
never be tried, even if both guard1 and guard2 fail.

And according to another tutorial I read, if pattern1 matches but all 
guards fail, pattern2 *will* be tried.

Can somebody comfirm which one is actually correct?