core.logic

minimal map type for unifying only part of a map

Details

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

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?

  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

Activity

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: