[GHC] #10724: ghci crashing when using copy/paste in Gnome Terminal on Debian Jessie

[GHC]

#10724: ghci crashing when using copy/paste in Gnome Terminal on Debian Jessie
-------------------------------+-----------------------------------------
        Reporter:  martinvlk   |                   Owner:
            Type:  bug         |                  Status:  new
        Priority:  normal      |               Milestone:
       Component:  GHCi        |                 Version:  7.10.2
      Resolution:              |                Keywords:
Operating System:  Linux       |            Architecture:  x86_64 (amd64)
 Type of failure:  GHCi crash  |               Test Case:
      Blocked By:              |                Blocking:
 Related Tickets:  #3656       |  Differential Revisions:
-------------------------------+-----------------------------------------

Comment (by martinvlk):

 After further testing I found it is reated to pressing Ctrl+C in the ghci
 repl.

 However, I also fouond that I only get this behaviour when I start ghci
 via cabal (cabal repl). When I start ghci directly, it handles Ctrl+C
 gracefully, no errors.

 So I think this is probably more a cabal error than ghci?

 M.

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