diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2013-11-21 13:06:39 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:58:56 +0200 |
| commit | 25460d19599fd64aaeccbf4667737feb786ae7f6 (patch) | |
| tree | c297a08dbe18e06f0bf11015380b156a3ce2a162 /toplevel/class.ml | |
| parent | ea47d7fb0b8ed663ecda142fe74bcbcfec3bb554 (diff) | |
- Fix Check to use the constraints inferred during type inference.
- Fix declaration of projections to work again with Primitive Projections on.
Conflicts:
kernel/term_typing.ml
Diffstat (limited to 'toplevel/class.ml')
0 files changed, 0 insertions, 0 deletions