Opened 10 years ago

Closed 10 years ago

Last modified 9 years ago

#2138 closed merge (fixed)

:i doesn't show constraints on datatypes

Reported by: igloo Owned by: igloo
Priority: normal Milestone: 6.8 branch
Component: Compiler Version: 6.8.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case: ghci031
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


If we have this module:

module Q where

data Eq a => D a = C a

then :i in ghci doesn't show the constraint:

*Q> :i D
data D a = C a  -- Defined at q.hs:4:13

Affects both HEAD and 6.8 branch.

Change History (4)

comment:1 Changed 10 years ago by simonpj

Owner: set to igloo
Type: bugmerge

Fixed by

Thu Mar  6 13:46:51 GMT 2008
  * Fix Trac #2138: print the 'stupid theta' of a data type

Ian: pls merge and add test case

(I can't push just now because is slow.)


comment:2 Changed 10 years ago by igloo

Resolution: fixed
Status: newclosed


comment:3 Changed 9 years ago by simonmar

Architecture: UnknownUnknown/Multiple

comment:4 Changed 9 years ago by simonmar

Operating System: UnknownUnknown/Multiple
Note: See TracTickets for help on using tickets.