diff options
| author | Pierre-Marie Pédrot | 2013-12-15 03:07:38 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-15 03:17:04 +0100 |
| commit | 99a1fd6a38c083db0bbcbbb6eae0f47c49124c78 (patch) | |
| tree | bc711b4c8fdcc3a175e6ce41365d68bf4718d6fc /kernel/nativecode.ml | |
| parent | 1d6aff833da3755adfa2ed5fcda5e11b536cf8cf (diff) | |
Do not overallocate closures' named environments in infos. Modifying the access
function is sufficient to skip the undefined variables.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions