Open kmizu opened 5 years ago
To support map pattern, it is not correct that we simply convert pattern to expr.
For example,
case M of #{a := A} -> A end
#{a := A} is converted to #{a => A} : #{a := α}, and then τ = #{a => α} (where M : τ). However, M may have some keys other than a.
#{a := A}
#{a => A} : #{a := α}
τ = #{a => α}
M : τ
a
In #141, we partially support map pattern by considering all map as map().
map()
To support map pattern, it is not correct that we simply convert pattern to expr.
For example,
#{a := A}
is converted to#{a => A} : #{a := α}
, and thenτ = #{a => α}
(whereM : τ
). However, M may have some keys other thana
.In #141, we partially support map pattern by considering all map as
map()
.