diff options
| author | Arnaud Spiwack | 2014-02-24 16:47:59 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-02-24 16:47:59 +0100 |
| commit | 23eeacf4c22055a60b9f64ba308f9198ba4d938b (patch) | |
| tree | f2e08461fbc2eba6eea27b757d8cde1ab7b68263 /kernel/type_errors.mli | |
| parent | 1bb2ee934bc2082865ee64f539497f3bc292a439 (diff) | |
IStream: change type of thunk, spare allocations.
Two changes:
- 'a Lazy.t becomes unit -> 'a
- 'a t becomes 'a u (the view type)
This spares two Lazy.force, and leverages Lazy.lazy_from_fun. Considering Lazy.force is fairly slow, in particular because of the write-barrier, this should be beneficial.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions