18 May
2015
18 May
'15
2:33 a.m.
On Sun, May 17, 2015 at 10:17 PM, Raphael Gaschignard
ghci isn't meant to be a full-blown dev environment, but hey the python console isn't meant to either.
I should stress that I did not intend so much to say that the OP was asking for something out of line; more that ghci is known to be old, limited, and annoying to maintain and really needs to be replaced --- someday. Unfortunately, that replacement will require a lot of work, because ghc-api. :/ -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net