<< Back to previous view

[LOGIC-94] nominal, spurious nil Created: 03/Jan/13  Updated: 28/Jul/13  Resolved: 03/Jan/13

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Defect Priority: Major
Reporter: David Nolen Assignee: Nada Amin
Resolution: Declined Votes: 0
Labels: None


 Description   
(nth
    (run 2 [q]
      (nom/fresh [a0 a1]
        (redo* q `((~'fn ~(nom/tie a0 a0)) (~'fn ~(nom/tie a1 a1))))))
    1) ; => ((fn  [a_0] (quote ((fn  [a_1] a_1) (fn  [a_2] a_2)))) nil)


 Comments   
Comment by Nada Amin [ 03/Jan/13 6:51 PM ]

Oh, this is actually correct.
nil is a value in our mini-language, so this applies the first function to nil, but then doesn't use it, and just returns the requested result quoted.

Comment by Nada Amin [ 03/Jan/13 6:51 PM ]

Not a bug

Generated at Tue Nov 25 15:07:54 CST 2014 using JIRA 4.4#649-r158309.