RE: ~ patterns

| Actually, I think it's a much bigger wart that pattern matching in let | and where is lazy, and everywhere else is strict, than that we have an | operator ~ on patterns with a clean compositional semantics. Way back in But ! patterns would restore what you want let !(x,y) = e in ... Arguably, it's non-uniform, but at least the strict version would be much more convenient than switching to case. Simon