#7368: kindFunResult panic in the
--------------------------------+-------------------------------------------
Reporter: ChrisN | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type checker)
Version: 7.7 | Keywords: Kinds, kindfunresult
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: Compile-time crash | Testcase:
Blockedby: | Blocking:
Related: |
--------------------------------+-------------------------------------------
Comment(by ChrisN):
Sorry, some odd formatting there.
That code should be:
{{{
module Test where
f = b (l () )
l :: b a -> c b
l = undefined
b :: (a -> b) -> c
b = undefined
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7368#comment:1>
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
