[GHC] #3005: Normalize fully-applied type functions prior to display

[GHC]

#3005: Normalize fully-applied type functions prior to display
-------------------------------+--------------------------------------------
  Reporter:  dmcclean          |          Owner:  chak            
      Type:  feature request   |         Status:  closed          
  Priority:  lowest            |      Milestone:  7.6.2           
 Component:  GHCi              |        Version:  6.10.1          
Resolution:  fixed             |       Keywords:                  
        Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |     Difficulty:  Unknown         
  Testcase:                    |      Blockedby:                  
  Blocking:                    |        Related:                  
-------------------------------+--------------------------------------------

Comment(by shelarcy):

 For future reference, I paste the results of :kind! command and :type
 command.

 Here is the result of :kind! command.

 {{{
 *Main> :kind! Product (Matrix Two Two Int) (Matrix Two Two Int)
 Product (Matrix Two Two Int) (Matrix Two Two Int) :: *
 = Matrix (O (I Z)) (O (I Z)) Int
 }}}

 And here are the results of :type command.

 7.4.2

 {{{
 *Main> :t a `times` a
 a `times` a :: Matrix (O (I Z)) (O (I Z)) Integer
 }}}

 7.6.1

 {{{
 *Main> :t a `times` a
 a `times` a :: Matrix (O (I Z)) (O (I Z)) Integer
 }}}

 7.6.2 (7.6.1.20121207)

 {{{
 *Main> :t a `times` a
 a `times` a :: Matrix (O (I Z)) (O (I Z)) Integer
 }}}

 7.7.20130110

 {{{
 *Main> :t a `times` a
 a `times` a
   :: (Num t, Num t1,
       Multiply (Matrix Two Two t) (Matrix Two Two t1)) =>
      Product (Matrix Two Two t) (Matrix Two Two t1)
 }}}

 (TypeNats.hs and Vectors.hs use -fglasgow-exts option. Vector uses
 DatatypeContexts. So, I attached newer version (TypeNats2.hs and
 Vector2.hs) what avoid using -fglasgow-exts option and DatatypeContexts.)

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3005#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler