diff options
| author | Lasse Blaauwbroek | 2018-09-20 21:05:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-10-11 18:45:05 +0200 |
| commit | 74f8e4b04f59c79fc2320b63f7d8c0cb4de69e2b (patch) | |
| tree | ae1bec8b4f9f16243d4b32da9aabe13103ae5896 /kernel/type_errors.ml | |
| parent | ca0f034f5b26132f540e0018db09046d8efc5be9 (diff) | |
Check that lambda/prod ast's have proper binders during interning/printing.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions