diff options
| author | Matthieu Sozeau | 2014-09-11 10:40:18 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-11 13:30:33 +0200 |
| commit | 6e2b4a66b9f176555eb541cbee762d3cf3fc183c (patch) | |
| tree | 94e97abd5ddd41aed116eaa4791cf4de4d77d86b /kernel/nativelambda.ml | |
| parent | 0b6bb113559381f05a101f4b288c359539f48a1a (diff) | |
Fix bug #3505.
When w_unifying primitive projection applications, force
the unification of types of the projected records to recover instances
for the parameters (evarconv does this automatically by unifying evar
instances with their expected type).
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions