shithub: pprolog

Info  •  Files  •  Log

Treat the variable _ differently, in that it doesn't introduce a new binding

--- a/eval.c

+++ b/eval.c

@@ -169,6 +169,10 @@

 				left = right;

 				right = tmp;

 			}

+

+			if(runestrcmp(left->text, L"_") == 0)

+				continue; /* _ doesn't introduce a new binding */

+

 			Binding *b = malloc(sizeof(Binding));

 			b->name = left->text;

 			b->nr = left->clausenr;

--- a/example.pl

+++ b/example.pl

@@ -32,3 +32,5 @@

 :- initialization(could_be_friends(bob, sam)).

 :- initialization(length([a,b,c,d], Len)).

+

+:- initialization(length(_,_)).

\ No newline at end of file