[GHC] #9748: Disambiguate IO actions in GHCi with :set +t

GHC ghc-devs at haskell.org
Fri Oct 31 07:46:35 UTC 2014


#9748: Disambiguate IO actions in GHCi with :set +t
-------------------------------------+-------------------------------------
              Reporter:              |            Owner:
  Iceland_jack                       |           Status:  new
                  Type:  feature     |        Milestone:
  request                            |          Version:  7.8.2
              Priority:  low         |         Keywords:
             Component:  GHCi        |     Architecture:  Unknown/Multiple
            Resolution:              |       Difficulty:  Easy (less than 1
      Operating System:              |  hour)
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by hvr):

 I've been wishing something like that myself, however I don't like

 {{{#!hs
 it :: Char <- return 'a' :: IO Char
 }}}

 as it's too noisy IMO by the redundantly repeated value's type

 I'd rather like to see something like

 {{{#!hs
 it :: {- IO -} Char
 }}}

 that doesn't need to repeat the type, and still give an indication about
 evaluated result stored in `it` having resulted from an `IO`-action

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


More information about the ghc-tickets mailing list