Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 33 lines (27 sloc) 1.256 kb
6d826f9 @manopapad Fix copyright notices
authored
1 %%% Copyright 2010-2011 Manolis Papadakis <manopapad@gmail.com>,
2 %%% Eirini Arvaniti <eirinibob@gmail.com>
3 %%% and Kostis Sagonas <kostis@cs.ntua.gr>
2b09545 @manopapad Unit tests and bugfixes for the parse transform.
authored
4 %%%
5 %%% This file is part of PropEr.
6 %%%
7 %%% PropEr is free software: you can redistribute it and/or modify
8 %%% it under the terms of the GNU General Public License as published by
9 %%% the Free Software Foundation, either version 3 of the License, or
10 %%% (at your option) any later version.
11 %%%
12 %%% PropEr is distributed in the hope that it will be useful,
13 %%% but WITHOUT ANY WARRANTY; without even the implied warranty of
14 %%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 %%% GNU General Public License for more details.
16 %%%
17 %%% You should have received a copy of the GNU General Public License
18 %%% along with PropEr. If not, see <http://www.gnu.org/licenses/>.
19
b36c594 @manopapad Remove e-mail addresses from EDoc output
authored
20 %%% @copyright 2010-2011 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
2b09545 @manopapad Unit tests and bugfixes for the parse transform.
authored
21 %%% @version {@version}
b36c594 @manopapad Remove e-mail addresses from EDoc output
authored
22 %%% @author Manolis Papadakis
2b09545 @manopapad Unit tests and bugfixes for the parse transform.
authored
23 %%% @doc This module tests whether native types are parsed outside of ?FORALLs.
24
25 -module(no_out_of_forall_test).
26 -export([]).
27
28 -include_lib("proper/include/proper.hrl").
29
30 foo() -> ?LET(X, types_test1:exp1(), {42,X}).
31
32 prop_1() -> ?FORALL(_, foo(), true).
Something went wrong with that request. Please try again.