diff options
| author | Pierre-Marie Pédrot | 2015-06-24 14:03:03 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-06-24 16:18:27 +0200 |
| commit | d0bb369ff3a56749b6f980e6c4f73c4ab4232b4e (patch) | |
| tree | 387b7ee2bec0fa74187f52bc022a435bf1dba49b /dev | |
| parent | 1343b69221ce3eeb3154732e73bbdc0044b224a8 (diff) | |
Less closures makes the GC happy.
We lambda-lift by hand the graph traversal functions in Univ to allocate
less closures.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions