core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

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?

1. 

   49-partial-map.diff

   12/Oct/12 1:31 PM

   3 kB

   Kevin Lynagh

2. 

   49-partial-map.diff

   12/Oct/12 1:16 PM

   3 kB

   Kevin Lynagh

3. 

   49-partial-map.patch

   12/Oct/12 1:47 PM

   3 kB

   Kevin Lynagh

• Assignee:

  David Nolen

  Reporter:

  David Nolen

• Created:

  31/Aug/12 12:09 PM

  Updated:

  12/Oct/12 1:52 PM

  Resolved:

  12/Oct/12 1:52 PM