Gerd Stolpmann wrote:
> Before discussing syntax it is more important to
> define the semantics of such patterns. I mean we have already three
> predefined kinds of equality in O'Caml:
>
> - ( == )
> - ( = )
> - (fun x y -> compare x y = 0)
>
> I admit I do not prefer any one of them. So which equality should be
> used to test whether the variable is equal to the matched part of the
> value?
>   

I would definitely favour structural equality, since that meshes well 
with pattern-matching's semantics.  Anything else would seem hard to 
justify, but that's just my opinion.

Jacques