Enhanced shift/1

This commit is contained in:
notoria
2020-05-07 18:51:49 +02:00
parent bf3cc5a367
commit 47f5223c37
2 changed files with 3 additions and 7 deletions

View File

@@ -10,7 +10,7 @@ shift(Ball) :-
'$nextEP'(first, E, P),
get_chunks(E, P, L),
( L == [] ->
Cont = none
Cont = cont(true)
; Cont = cont(call_continuation(L))
),
'$write_cont_and_term'(_, _, Cont, Ball),