diff options
| author | Matthieu Sozeau | 2014-09-11 13:28:56 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-11 13:30:33 +0200 |
| commit | edb9ac51f38f2c4dddf652db918e5d5b6ba3b108 (patch) | |
| tree | 407632a9cde212bdf834baec723dd529ce1496a1 /kernel/type_errors.mli | |
| parent | 12ef55e112a1ccfe00c8880e0ba5958e02ab97e1 (diff) | |
Fix bug #3594: eta for constructors and functions at the same time which
was failing in this case due to the wrong postponment of an unsolvable
?X = RigidContext[?X] problem.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions