prolog: Fix NoBlock and NoOp functions.

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

Change-Id: If036577e9827be6263d7470efa2b3f466176d71f
This commit is contained in:
Johan Bjork
2011-12-31 00:02:38 +01:00
committed by Martin Fick
parent 730c71903c
commit c4a1e135ce

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) :- true.
legacy_submit_rule('NoOp', Label, Id, Min, Max, T) :- 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)).