#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_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
