#1634: Type signature normalization
--------------------------------------+-------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler (Type checker) | Version: 6.6.1
Severity: normal | Keywords:
Difficulty: Unknown | Os: Linux
Testcase: | Architecture: x86
--------------------------------------+-------------------------------------
{{{
t1 :: a->(forall b. b->(a,b)) -- isn't this the same as forall a b.
a->b->(a,b)
t1 = (,)
}}}
causes
{{{
Inferred type is less polymorphic than expected
Quantified type variable `b' escapes
Probable cause: `(,)' is applied to too few arguments
In the expression: (,)
In the definition of `t1': t1 = (,)
}}}
The problem goes away without the explicit signature.
-- Kefer
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1634>
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
