[ewgi commit] r94 - branches/RB-0.2/lib/ewgi/include

[codesite...@google.com]

Author: huntermorris
Date: Tue Nov 18 08:22:22 2008
New Revision: 94

Modified:
branches/RB-0.2/lib/ewgi/include/ewgi.hrl

Log:
Dialyzer currently does not support recursive types

Modified: branches/RB-0.2/lib/ewgi/include/ewgi.hrl
==============================================================================
--- branches/RB-0.2/lib/ewgi/include/ewgi.hrl (original)
+++ branches/RB-0.2/lib/ewgi/include/ewgi.hrl Tue Nov 18 08:22:22 2008
@@ -65,7 +65,10 @@
%% @type bag() = list()
-type bag() :: list().

--type ewgi_ri_callback() :: fun(('eof' | {data, binary()}) -> iolist() |
ewgi_ri_callback()).
+%%% Note: Dialyzer currently doesn't support recursive types. When it
does, this should change:
+%%%-type ewgi_ri_callback() :: fun(('eof' | {data, binary()}) -> iolist()
| ewgi_ri_callback()).
+%% @type ewgi_ri_callback() = function()
+-type ewgi_ri_callback() :: fun(('eof' | {data, binary()}) -> iolist() |
function()).

%% @type ewgi_read_input() = function()
-type ewgi_read_input() :: fun((ewgi_ri_callback(), integer()) ->
ewgi_ri_callback()).
@@ -146,8 +149,10 @@
server_protocol :: ewgi_val(),
server_software :: ewgi_val()}).

+%%% Note: Dialyzer currently doesn't support recursive types. When it
does, this should change:
+%%%-type stream() :: fun(() -> {} | {any(), stream()}).
%% @type stream() = function()
--type stream() :: fun(() -> {} | {any(), stream()}).
+-type stream() :: fun(() -> {} | {any(), function()}).

%% @type ewgi_status() = {integer(), string()}
-type ewgi_status() :: {integer(), string()}.