manopapad/proper — pull request #19 by yrashk (2011-11-04 14:30:06+00:00)
Title: Memory consumption fix

This change makes PropEr use memory rationally by not passing the entire tree with Funs' envs up through the chain

Basically, we ran into an understanding that PropEr totally blow ups memory under certain circumstances.

Example:

```erlang
%% Original PropEr
1> erts_debug:size(proper_types:list(proper_types:list(proper_types:list(proper_types:frequency([{1, proper_types:union([lists:seq(1,40)])},{2, proper_types:union(lists:seq(1,40))}]))))).

2568396

%% Our PropEr
1> erts_debug:size(proper_types:list(proper_types:list(proper_types:list(proper_types:frequency([{1, proper_types:union([lists:seq(1,40)])},{2, proper_types:union(lists:seq(1,40))}]))))).
3745
```