diff options
| author | Matthieu Sozeau | 2015-11-05 15:05:12 -0500 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-11-05 15:06:30 -0500 |
| commit | 5cbb42e08a8032ada1788a0542a45177f798a6ac (patch) | |
| tree | 195a28c14179ef7648cdca05462d33798fd3d130 /kernel/type_errors.mli | |
| parent | 0fd6ad21121c7c179375b9a50c3135abab1781b2 (diff) | |
Fix bug #4273
Syntactic analysis of dependencies when atomizing arguments in destruct
was not dealing properly with primitive projections hiding their
parameters.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions