diff options
| author | Matthieu Sozeau | 2014-10-15 16:55:56 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-10-15 16:57:19 +0200 |
| commit | 978ae7d9323558099efb0c4e4e39549221378d5d (patch) | |
| tree | 355d40432834d1207d26b339f9a9f21e97d38faa /kernel/nativecode.ml | |
| parent | f8023074b3a82e8c8adb4ee380c07a68bdea5961 (diff) | |
To stay closer to non-primitive projections, only unfold primitive
projections in cbv when delta _and_ beta flags are set. Add test-suite
file for bug 3700 too.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions