We're updating the issue view to help you get more done. 

minimal map type for unifying only part of a map

Description

currently it's a bit obnoxious that map unification must be over the entire map. It would be useful to have a new datatype - partial-map this would allow us to only match part of a map instead of the whole thing. Is this unsound?

Environment

None

Status

Assignee

David Nolen

Reporter

David Nolen

Labels

None

Approval

None

Patch

None

Priority

Major