#1897: Ambiguous types and rejected type signatures
----------------------------------------+-----------------------------------
Reporter: guest | Owner: chak
Type: bug | Status: reopened
Priority: normal | Milestone: 6.10 branch
Component: Compiler (Type checker) | Version: 6.9
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Linux
Architecture: x86 |
----------------------------------------+-----------------------------------
Comment (by jim.stuttard):
I don't know whether there's been a regression but with
Andres Loh's example i2 with:
>{-# TypeFamilies, EmptyDataDecls, RankNTypes #-}
>type family Y (a::*)
>i2 :: (forall a. a -> Y a) -> Y Bool
>i2 x = x True
I got:
"ghc panic! ..
(GHC version 6.10.1 for i386-unknown-linux
TcTyFuns.flattenType: synonym family in a rank-n type"
uname -a: Linux eeepc 2.26.28-ARCH
ghc -v: ghc-6.10.1 i386-unknown-linux
There's a lot to more to forall than meets the eye :)
Jim
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1897#comment:12>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
