[GHC] #1425: Print operator types as infix

[GHC]

#1425: Print operator types as infix
-------------------------------+--------------------------------------------
  Reporter:  Michael D. Adams  |          Owner:                        
      Type:  feature request   |         Status:  new                   
  Priority:  normal            |      Milestone:                        
 Component:  Compiler          |        Version:  6.6.1                 
  Severity:  normal            |       Keywords:  infix type constructor
Difficulty:  Unknown           |             Os:  Unknown               
  Testcase:                    |   Architecture:  Unknown               
-------------------------------+--------------------------------------------
Consider the type

 {{{
 {-# OPTIONS -fglasgow-exts #-}
 data a :-> b = a :-> b deriving (Show)
 }}}

 Load that file into GHCi and print the type of a simple expression with
 it.

 {{{
 *Main> :t True :-> False
 }}}

 The actual output will be
 {{{
 True :-> False :: (:->) Bool Bool
 }}}

 Notice that the type constructor has been printed in prefix form.
 It would be nice if these infix type constructors printed in infix form
 just like infix data constructors do.  For example the desired output
 would be:
 {{{
 True :-> False :: Bool :-> Bool
 }}}

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