diff options
| author | Alasdair Armstrong | 2017-11-16 15:05:24 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-16 15:05:24 +0000 |
| commit | 9a5bd2079a5fe42bde4c207851c2c3b1fd0035b7 (patch) | |
| tree | b1738446b771e6bfe2d0de64d4c56b2c9c592e81 /src/pprint | |
| parent | 17488b1fdd35983f41c80282997c0ab820c9a23d (diff) | |
Fixed some longstanding issues regarding constraints on type constructors.
Now constraints on type constructors are checked correctly when
checking that types are well formed using Env.wf_typ. The arity and
kind of type constructor arguments are also checked in the same way.
Also some general cleanups to the type checker code, with some
auxillary functions being moved to more appropriate files.
Diffstat (limited to 'src/pprint')
0 files changed, 0 insertions, 0 deletions