<< Back to previous view

[LOGIC-28] defrel cannot be called inside function Created: 15/Feb/12  Updated: 17/Mar/13

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

Type: Defect Priority: Minor
Reporter: Jason Jackson Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: None

Attachments: Text File 0001-allow-defrel-to-be-called-from-within-a-function-if-.patch     File patch-defrel    

Comment by David Nolen [ 20/Feb/12 2:15 PM ]

Can you reformat the patch w/ git so it has the proper attribution information? Thanks!

Comment by Jason Jackson [ 13/May/12 10:06 AM ]

New patch with attribution info. Sorry about super long turn around time, in the future I should be much faster.

Comment by Martin Trojer [ 20/Sep/12 3:32 AM ]

This patch solved the exact same problem for me aswell.


Comment by David Nolen [ 20/Sep/12 10:57 AM ]

I've yet to hear a good rationale for this patch. defrel has the same semantics as def and should only exist at the top level. If someone puts more though into what defining a rel dynamically should look like I will consider it.

Comment by Jason Jackson [ 20/Sep/12 2:02 PM ]

I only implemented this so I could delete relation state. There's probably a better way to do this though.

Comment by Martin Trojer [ 21/Sep/12 2:47 AM ]

Indeed, a make-rel function would be optimal, then you can def it (or store it somewhere else) at your leisure.

Generated at Sat Jan 20 23:07:17 CST 2018 using JIRA 4.4#649-r158309.