[Idea]: Partial structural matching

[Catya3]

In a structural type system I should expect to use Match<stream<int>> to do this:

... -> match:data // pass stream to data
{last: true} -> match:case[0] -> :stop

That is it should match on the partial contents of the struct. What I actually got is:

{"data": 50, "idx": 0, "last": true}
panic: runtime error: comparing uncomparable type runtime.MapMsg

[emil14]

Seems like both Eq (if we gonna have one) and Match should implement this

[emil14]

@Catya3 is this how Rust works?

{last: true} -> match:case[0] -> :stop

[emil14]

@Catya3 do we need this issue if we have #613 ?

Is this issue about something else except structures? Is (partial) pattern matching working in e.g. Rust for smt else?

[Catya3]

No I think this can be closed