> > What would this construct mean, if the body expression refers to a variable > that is bound in some of the alternative patterns but not all of them? > This case would indeed create an ambiguity. I suppose the compiler would have to enforce that the same variables are bound in all patterns somehow... Yariv