[GHC] #10249: GHCi leaky abstraction: error message mentions `ghciStepIO`

[GHC]

#10249: GHCi leaky abstraction: error message mentions `ghciStepIO`
-------------------------------------+-------------------------------------
        Reporter:  Iceland_jack      |                Owner:  (none)
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.2.1
       Component:  GHCi              |              Version:  7.10.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Incorrect         |            Test Case:
  warning at compile-time            |  ghci/scripts/T10249
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D1527,
       Wiki Page:                    |  Phab:D1528
-------------------------------------+-------------------------------------
Changes (by thomie):

 * owner:  thomie => (none)
 * status:  closed => new
 * resolution:  fixed =>


Comment:

 The example from comment:2 is not fixed yet:

 {{{
 $ ghci
 GHCi, version 8.4.3: http://www.haskell.org/ghc/  :? for help

 Prelude> x <- 'a'

 <interactive>:1:6: error:
     • Couldn't match expected type ‘IO a0’ with actual type ‘Char’
     • In the first argument of ‘GHC.GHCi.ghciStepIO ::
                                   forall a. IO a -> IO a’, namely
         ‘'a'’
       In a stmt of an interactive GHCi command:
         x <- GHC.GHCi.ghciStepIO :: forall a. IO a -> IO a 'a'
 }}}


 WIP patch here: https://phabricator.haskell.org/D1528

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