diff options
| author | Hugo Herbelin | 2014-12-07 12:50:26 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2014-12-07 15:20:14 +0100 |
| commit | 48509b6112fc857abdfc442c89821363043ac705 (patch) | |
| tree | 7786c30d41f44c7b657c9a4b48e6001392ac52fa /plugins | |
| parent | fa906a5137058cf12444c70b76908b959012ce6d (diff) | |
Improving evar restriction (this is a risky change, as I remember a
similar optimization broke at some time some ssreflect code; we now
treat the easy case of a let-in to a rel - a pattern common in
pattern-matching compilation -; later on, we shall want to investigate
whether any let-in found to refer to out of scope rels or vars can be
filtered out).
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions