bad inline expansion of exclude (obs from Paolo Frasconi)
This commit is contained in:
parent
439fbda8f7
commit
2639e6c868
@ -431,7 +431,7 @@ goal_expansion(exclude(Meta, ListIn, ListOut), Mod:Goal) :-
|
|||||||
compile_aux([
|
compile_aux([
|
||||||
Base,
|
Base,
|
||||||
(RecursionHead :-
|
(RecursionHead :-
|
||||||
(Apply -> Outs = [In|NOuts]; Outs = NOuts),
|
(Apply -> Outs = NOuts; Outs = [In|NOuts]),
|
||||||
RecursiveCall)
|
RecursiveCall)
|
||||||
], Mod).
|
], Mod).
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user