Nested Guards

[Taral]

On 7/1/06, Bas van Dijk <basvandijk at home.nl> wrote:
> I would like to propose a feature from the FP language Clean[1] called Nested
> Guards. Example from [2]:
>
> example arg1 arg2
>         | predicate11 arg1
>                 | predicate21 arg2 = calculate1 arg1 arg2
>                 | predicate22 arg2 = calculate2 arg1 arg2
>                 | otherwise             = calculate3 arg1 arg2
>         | predicate12 arg1         = calculate4 arg1 arg2

I think this is great. Does it have fall-through semantics?

-- 
Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem