Ticket #1385 (closed bug: fixed)
(1,True) == (2,False) doesn't compile
| Reported by: | igloo | Owned by: | simonpj |
|---|---|---|---|
| Priority: | high | Milestone: | 6.8.1 |
| Component: | Compiler (Type checker) | Version: | 6.7 |
| Keywords: | Cc: | ||
| Operating System: | Unknown/Multiple | Architecture: | Unknown/Multiple |
| Type of failure: | Difficulty: | Unknown | |
| Test Case: | tc049, tc227 | Blocked By: | |
| Blocking: | Related Tickets: |
Description (last modified by igloo) (diff)
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
Change History
Note: See
TracTickets for help on using
tickets.
