#5426: Clever programs violate GHC assumptions about representation ---------------------------------+------------------------------------------ Reporter: batterseapower | Owner: dreixel Type: bug | Status: new Priority: high | Milestone: 7.4.1 Component: Compiler | Version: 7.2.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC accepts invalid program Difficulty: | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------
Comment(by simonpj@…): commit 0f34f30839c9f382bdeab0335675ce8491361d67 {{{ Author: Simon Peyton Jones <simo...@microsoft.com> Date: Tue Dec 13 12:30:40 2011 +0000 Document the "kind invariant", and check it See Note [The kind invariant] in TypeRep Checked in CoreLint All this arises from Trac #5426 compiler/coreSyn/CoreLint.lhs | 43 ++----------------------- compiler/typecheck/TcMType.lhs | 4 ++ compiler/types/Type.lhs | 14 +++++--- compiler/types/TypeRep.lhs | 67 ++++++++++++++-------------------------- 4 files changed, 39 insertions(+), 89 deletions(-) }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5426#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler _______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs