When type-checking kinds, be sure to promote list and tuple syntax
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 1 Feb 2012 15:51:30 +0000 (15:51 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 1 Feb 2012 16:48:55 +0000 (16:48 +0000)
commit97741318c541288038c8a564294fed7f0143f586
treebc9a066f051c7758da2731f9cd54011ade9102fc
parentd2d5ee16cf21c5b32333ff57ba0a65f89ff7e988
When type-checking kinds, be sure to promote list and tuple syntax

This fixes the ASSERT failure in Trac #5833 and type error in #5798
compiler/prelude/TysWiredIn.lhs
compiler/typecheck/TcHsType.lhs
compiler/types/Kind.lhs
compiler/types/TyCon.lhs