Fix [OpenTypeKind accepts foralls]
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 17:20:43 +0000 (13:20 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 17:20:43 +0000 (13:20 -0400)
commit6ffacbb5d090ec1d348c3222fca5264762df1a3b
tree74f6f73ba0278767c8320e84b3bdbb43f6a31ea8
parentde87a55205732ab35d8c3931d1d2884d18dc3146
Fix [OpenTypeKind accepts foralls]
compiler/coreSyn/MkCore.hs
compiler/typecheck/TcMType.hs
compiler/typecheck/TcType.hs
compiler/typecheck/TcUnify.hs