Browse files

Add pointers to erl_parse types

  • Loading branch information...
1 parent 41e4d42 commit da12a1619da6be462d2b33aa65cfa8f49740df0a @kostis kostis committed Apr 16, 2012
Showing with 6 additions and 5 deletions.
  1. +6 −5 include/proper_internal.hrl
View
11 include/proper_internal.hrl
@@ -1,4 +1,4 @@
-%%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2012 Manolis Papadakis <manopapad@gmail.com>,
%%% Eirini Arvaniti <eirinibob@gmail.com>
%%% and Kostis Sagonas <kostis@cs.ntua.gr>
%%%
@@ -17,7 +17,7 @@
%%% You should have received a copy of the GNU General Public License
%%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
-%%% @copyright 2010-2011 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+%%% @copyright 2010-2012 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
%%% @version {@version}
%%% @author Manolis Papadakis
%%% @doc Internal header file: This header is included in all PropEr source
@@ -79,12 +79,13 @@
-type frequency() :: pos_integer().
-type seed() :: {non_neg_integer(), non_neg_integer(), non_neg_integer()}.
+-type abs_form() :: erl_parse:abstract_form().
+-type abs_expr() :: erl_parse:abstract_expr().
+-type abs_clause() :: erl_parse:abstract_clause().
+
%% TODO: Replace these with the appropriate types from stdlib.
--type abs_form() :: term().
--type abs_clause() :: term().
-type abs_type() :: term().
-type abs_rec_field() :: term().
--type abs_expr() :: term().
-type loose_tuple(T) :: {} | {T} | {T,T} | {T,T,T} | {T,T,T,T} | {T,T,T,T,T}
| {T,T,T,T,T,T} | {T,T,T,T,T,T,T} | {T,T,T,T,T,T,T,T}

0 comments on commit da12a16

Please sign in to comment.