#1385: (1,True) == (2,False) doesn't compile
----------------------------------------+-----------------------------------
    Reporter:  igloo                    |        Owner:         
        Type:  bug                      |       Status:  new    
    Priority:  high                     |    Milestone:  6.8    
   Component:  Compiler (Type checker)  |      Version:  6.7    
    Severity:  normal                   |   Resolution:         
    Keywords:                           |   Difficulty:  Unknown
          Os:  Unknown                  |     Testcase:  tc049  
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
Old description:

> This module:
> {{{
> module Foo where
>
> foo = (1,True) == (2,False)
> }}}
> currently fails to compile:
> {{{
>     No instance for (Eq (t, Bool))
>       arising from a use of `==' at q.hs:4:6-26
>     Possible fix: add an instance declaration for (Eq (t, Bool))
>     In the expression: (1, True) == (2, False)
>     In the definition of `foo': foo = (1, True) == (2, False)
> }}}
> but this does compile:
> {{{
> module Foo where
>
> foo = (1,True) == (2,False)
> }}}

New description:

 This module:
 {{{
 module Foo where

 foo = (1,True) == (2,False)
 }}}
 currently fails to compile:
 {{{
     No instance for (Eq (t, Bool))
       arising from a use of `==' at q.hs:4:6-26
     Possible fix: add an instance declaration for (Eq (t, Bool))
     In the expression: (1, True) == (2, False)
     In the definition of `foo': foo = (1, True) == (2, False)
 }}}
 but this does compile:
 {{{
 module Foo where

 foo = 1 == 2
 }}}

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1385>
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

Reply via email to