diff options
| author | Matthieu Sozeau | 2014-09-06 11:27:09 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-06 11:46:04 +0200 |
| commit | 5d888e0f4943877df04114a0513d70687d9b2c11 (patch) | |
| tree | 5823fc10dad7d6dc852ab04c0e7e603ca5f67bb7 /plugins/xml/doubleTypeInference.ml | |
| parent | 0413899668e8be15df5065abdaf1d40ad3c2c31b (diff) | |
Fix checker to handle projections with eta and universe polymorphism correctly,
simplifying conversion code.
Diffstat (limited to 'plugins/xml/doubleTypeInference.ml')
0 files changed, 0 insertions, 0 deletions