support any args and arg list on fun type

Author: marianoguerra

src/fn_spec.erl

@@ -38,6 +38,13 @@ parse_type_value(?E(Line, call,
     {{type, Line, Name, [{integer, FL, From}, {integer, TL, To}]}, State};
 parse_type_value(?E(Line, call, {[?Atom('fun')], [?S(_, list, [])]}), State) ->
     {{type, Line, 'fun', []}, State};
+parse_type_value(?E(Line, call, {[?Atom('fun')], [?V(ALine, atom, any), Return]}), State) ->
+    {EReturn, State1} = parse_type_value(Return, State),
+    {{type, Line, 'fun', [{type, ALine, any}, EReturn]}, State1};
+parse_type_value(?E(Line, call, {[?Atom('fun')], [?S(ALine, list, Args), Return]}), State) ->
+    {EReturn, State1} = parse_type_value(Return, State),
+    {EArgs, State2} = parse_types(Args, State1),
+    {{type, Line, 'fun', [{type, ALine, product, EArgs}, EReturn]}, State2};
 parse_type_value(?E(Line, call, {[?Atom(Name)], []=Args}), State) ->
     {{type, Line, Name, Args}, State};
 parse_type_value(?S(Line, list, []), State) ->