diff options
author | Matthieu Sozeau <mattam@mattam.org> | 2018-03-08 07:20:32 -0300 |
---|---|---|
committer | Matthieu Sozeau <mattam@mattam.org> | 2018-03-08 07:40:27 -0300 |
commit | d3f88e4e3aaf346f88801737c9145fe114f4942b (patch) | |
tree | 4ba9dcda1eb5818e204712aa0169e967a59cc1cf /checker/type_errors.mli | |
parent | fd2e9fd5f859f729765706f1f56df0fa080c0513 (diff) |
Update checker to reflect rule on constructors of polymorphic inductive types
Diffstat (limited to 'checker/type_errors.mli')
0 files changed, 0 insertions, 0 deletions