#2138: :i doesn't show constraints on datatypes
-------------------------+--------------------------------------------------
    Reporter:  igloo     |       Owner:            
        Type:  bug       |      Status:  new       
    Priority:  normal    |   Milestone:  6.8 branch
   Component:  Compiler  |     Version:  6.8.2     
    Severity:  normal    |    Keywords:            
  Difficulty:  Unknown   |    Testcase:  ghci031   
Architecture:  Unknown   |          Os:  Unknown   
-------------------------+--------------------------------------------------
 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.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2138>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to