rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

don't unify module-qualified variables to ! (#1281)

Browse Source
This commit is contained in:
Mark Thom
2022-02-14 18:46:15 -07:00
parent db20cda27a
commit 68ac92a616
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/builtins.pl
View File

@@ -240,7 +240,7 @@ comma_dispatch_prep(Gs, B, [Cont|Conts]) :-
comma_dispatch_prep(G1, B, IConts1), comma_dispatch_prep(G1, B, IConts1),
cont_list_goal(IConts1, Cont), cont_list_goal(IConts1, Cont),
comma_dispatch_prep(G2, B, Conts) comma_dispatch_prep(G2, B, Conts)
; ( Gs = ! ; Gs = _:! ) -> ; Gs == ! ->
Cont = builtins:set_cp(B), Cont = builtins:set_cp(B),
Conts = [] Conts = []
; functor(Gs, ';', 2) -> ; functor(Gs, ';', 2) ->