diff options
| author | Hugo Herbelin | 2015-10-18 19:44:49 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-10-18 20:11:13 +0200 |
| commit | 23545b802a14b2fad10f4382604c71f55b7d6d0e (patch) | |
| tree | 95bc8d0717964c3d8a276735393b80b3f055b935 /kernel | |
| parent | 14edc57ac5ad75bbc4ea8559111606aea8978f48 (diff) | |
Using appropriate lambda decomposition function counting let-ins when
dealing with "match".
Contrastingly, "fix" is considered not to count let-ins for finding
the recursive argument (which is ok because the last argument is
necessarily a lambda).
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions