workaround #2277: turn off the RTS timer when calling into editline
authorSimon Marlow <marlowsd@gmail.com>
Wed, 30 Jul 2008 13:59:18 +0000 (13:59 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 30 Jul 2008 13:59:18 +0000 (13:59 +0000)
commitdc25c00f7cbfc014483bb26f5869825b373bd68a
treedeb5b1a824cd31684ff77dbb0ca555817f2247a9
parent5ef63d1912a0363de083beff248574c026998ae7
workaround #2277: turn off the RTS timer when calling into editline
compiler/ghci/InteractiveUI.hs
rts/Linker.c