diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2017-05-04 10:06:33 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-05-04 18:21:54 -0400 |
| commit | c8e4d4b387d6d057dea98d6a595e3712f24289dc (patch) | |
| tree | 89b490356494b2dddaf3c7bf5610abb0e56fe127 /compiler/simplCore | |
| parent | b3da6a6c3546562d5c5e83b8af5d3fd04c07e0c1 (diff) | |
| download | haskell-c8e4d4b387d6d057dea98d6a595e3712f24289dc.tar.gz | |
TcTypeable: Simplify
Simon pointed out that the zonk of the tyConKinds was redundant as tycon kinds
will never contain mutable variables. This allows us to remove tycon_kind.
Add a few commments clarifying the need to bring TyCon binders into scope before
typechecking bindings.
Diffstat (limited to 'compiler/simplCore')
0 files changed, 0 insertions, 0 deletions