diff options
| author | Maxime Dénès | 2014-01-18 15:09:40 -0500 |
|---|---|---|
| committer | Maxime Dénès | 2014-01-18 15:12:56 -0500 |
| commit | 05d5f8b9065b0f5e0349cf3d39dd62ab99f30369 (patch) | |
| tree | 79575c89a4a0b26c9f8bf8bd9a5744edbd9e60f7 /kernel/type_errors.ml | |
| parent | 22bd27a46f6c91f2c74945333547e4657dcd1428 (diff) | |
Relaxing the sort elimination check to allow for let-bindings in arities.
I restored this in the kernel, and added it to the checker. There is one last
source of non-uniformity, which is the Sort case in the checker (was not
present in the kernel). I don't know what this case covers, so it should be
reviewed.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions