Opened 7 years ago

Closed 7 years ago

Last modified 7 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: Test Case: ghci031
Blocked By: Blocking:
Related Tickets: Differential Revisions:

Description

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 7 years ago by simonpj

  • Owner set to igloo
  • Type changed from bug to merge

Fixed by

Thu Mar  6 13:46:51 GMT 2008  [email protected]
  * 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 darcs.haskell.org is slow.)

Simon

comment:2 Changed 7 years ago by igloo

  • Resolution set to fixed
  • Status changed from new to closed

Merged

comment:3 Changed 7 years ago by simonmar

  • Architecture changed from Unknown to Unknown/Multiple

comment:4 Changed 7 years ago by simonmar

  • Operating System changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.