#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