Objects as patterns

[lutzhamel]

The following program succeeds,

structure A with
  data a.
  data b.
end

let o = pattern with A(1,2).
let *o = A(1,2).

but this program fails,

structure A with
  data a.
  data b.
end

let o = A(1,2).
let *o = A(1,2).

That seems inconsistent if we view any kind of structure as a possible pattern.

[lutzhamel]

The following program works now,

structure A with
  data a.
  data b.
end

let o = A(1,2).


let *o = o.

making pattern matching more consistent because we also support,

let 1 = 1.