TcTypeable: Simplify
authorBen Gamari <ben@smart-cactus.org>
Thu, 4 May 2017 14:06:33 +0000 (10:06 -0400)
committerBen Gamari <ben@smart-cactus.org>
Thu, 4 May 2017 22:21:54 +0000 (18:21 -0400)
commitc8e4d4b387d6d057dea98d6a595e3712f24289dc
tree89b490356494b2dddaf3c7bf5610abb0e56fe127
parentb3da6a6c3546562d5c5e83b8af5d3fd04c07e0c1
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.
compiler/typecheck/TcTypeable.hs