Skip to content
Browse files

Cleanup contract drivers' decoder callback

  • Loading branch information...
1 parent 388220b commit ce139ec3991af1ac77fdcb5cf8fa2d22f16a2db7 @norton norton committed Sep 23, 2012
Showing with 3 additions and 3 deletions.
  1. +2 −2 src/contract_driver.erl
  2. +1 −1 test/qc/qc_ubf_gen_tests.erl
View
4 src/contract_driver.erl
@@ -33,8 +33,8 @@
-type contract() :: module().
-type options() :: list(term()).
-type parsed_options() :: term().
--type cont_init() :: {init,Rest::term(),Extras::term()} | {more,More::fun()}.
--type cont_done() :: {done,Term::term(),Rest::term(),Extras::term()} | {more,More::fun()}.
+-type cont_init() :: {init,Rest::term(),Extras::term()} | {more,More::term()}.
+-type cont_done() :: {done,Term::term(),Rest::term(),Extras::term()} | {more,More::term()}.
-type io() :: any().
-callback start(contract()) -> pid().
View
2 test/qc/qc_ubf_gen_tests.erl
@@ -64,7 +64,7 @@ prop_ubf_gen_any() ->
?FORALL(X, qc_gen:qc_any(),
begin
UBF = ubf:encode(X),
- {ok, Y, ""} = ubf:decode(UBF),
+ {done, Y, "", undefined} = ubf:decode(UBF),
Res = X =:= Y,
?WHENFAIL(io:format("~n~p:~p ~p -> ~p -> ~p~n",[?FILE, ?LINE, X, UBF, Y]), Res)
end).

0 comments on commit ce139ec

Please sign in to comment.
Something went wrong with that request. Please try again.