#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