core.logic

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

  None

It would be nice if nom/hash handled variable noms:

(run* [q]
  (nom/fresh [x]
    (fresh [y]
      (nomo y)
      (nom/hash y x)
      (== x y)))

This returns '(_0) instead of (). Fortunately, a work-around is to use != instead of nom/hash when comparing two noms. However, it's bad that this silently does something unexpected.

1. 

   logic-101.diff

   07/Jan/13 8:05 AM

   3 kB

   Nada Amin

• Assignee:

  David Nolen

  Reporter:

  Nada Amin

• Created:

  07/Jan/13 6:56 AM

  Updated:

  07/Jan/13 8:34 AM

  Resolved:

  07/Jan/13 8:34 AM