prolog: Fix NoBlock and NoOp functions.

Probably been broken since the prolog cafe introduction. The
status was never updated, resulting in broken rules.

(PS2, but the original change has already been merged)

Change-Id: If036577e9827be6263d7470efa2b3f466176d71f
This commit is contained in:
Johan Bjork
2011-12-31 00:02:38 +01:00
committed by Martin Fick
parent 2bb2a28dc6
commit 9ef2450045

View File

@@ -198,8 +198,8 @@ default_submit([Type | Types], Tmp, Out) :-
%%
legacy_submit_rule('MaxWithBlock', Label, Id, Min, Max, T) :- !, max_with_block(Label, Min, Max, T).
legacy_submit_rule('MaxNoBlock', Label, Id, Min, Max, T) :- !, max_no_block(Label, Max, T).
legacy_submit_rule('NoBlock', Label, Id, Min, Max, T) :- T = ok, true.
legacy_submit_rule('NoOp', Label, Id, Min, Max, T) :- T = ok, true.
legacy_submit_rule('NoBlock', Label, Id, Min, Max, T) :- T = ok(_), true.
legacy_submit_rule('NoOp', Label, Id, Min, Max, T) :- T = ok(_), true.
legacy_submit_rule(Fun, Label, Id, Min, Max, T) :- T = impossible(unsupported(Fun)).