How do the Haskell examples handle those cases?

It doesn't. You can use "boolean guards" though to handle different cases:

    fac 0 = 1;
    fac n | n > 0     = n * fac (n-1)
          | otherwise = ...
[download]

ihb