Opened 4 years ago

Closed 4 years ago

#4325 closed bug (fixed)

Deriving regression

Reported by: igloo Owned by:
Priority: highest Milestone: 7.0.1
Component: Compiler Version: 6.13
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Difficulty:
Test Case: deriving/should_compile/T4325 Blocked By:
Blocking: Related Tickets:


First reported here:

This module:

module Foo where

data Ord a => Heap a b = Empty | Node a b [Heap a b]
    deriving Eq

is rejected by HEAD:

$ hd -c h.hs

    No instance for (Ord a)
      arising from a use of `Node'
    In the pattern: Node _ _ _
    In an equation for `$con2tag_Heap': $con2tag_Heap (Node _ _ _) = 1#

Change History (2)

comment:1 Changed 4 years ago by igloo

  • Test Case set to T4325

comment:2 Changed 4 years ago by simonpj

  • Resolution set to fixed
  • Status changed from new to closed
  • Test Case changed from T4325 to deriving/should_compile/T4325

Ahs yes, a small oversight thanks. Fixed by

Sun Sep 19 16:22:01 GMT Daylight Time 2010
  * Include the "stupid theta" in the type of $con2tag

    M ./compiler/typecheck/TcGenDeriv.lhs -1 +1
Note: See TracTickets for help on using tickets.