#7278: nonsensical kind variable ascription causes panic
--------------------------------+-------------------------------------------
Reporter: nfrisby | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.6.1 | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Compile-time crash | Testcase:
Blockedby: | Blocking:
Related: |
--------------------------------+-------------------------------------------
Comment(by simonpj@…):
commit 7fdc2a39d5c9a7d1be45b6314d480d16810a75ef
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Sat Sep 29 13:37:02 2012 +0100
Add missing case in TcUnify.matchExpectedFunKind
This fixes Trac #7278
compiler/typecheck/TcUnify.lhs | 27 +++++++++++++++------------
1 files changed, 15 insertions(+), 12 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7278#comment:3>
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
