Open lierdakil opened 7 years ago
After about a dozen of these, my system started stuttering and locking up, and I saw this
That's weird, processes should be killed after a couple seconds, but this doesn't seem to be the case here. Maybe issuing SIGKILL
instead of SIGTERM
would do it?..
Also, autocomplete doesn't pop up until auto has either finished or been killed, which sometimes takes a few seconds.
Yes, this is quite a major concern tbh. But I can't add suggestions after showing them, obviously, and auto
isn't the fastest thing in this world, to say the least.
I think
auto
has awesome potential
TBH, it wasn't properly maintained for a while. Last meaningful commit is more than a year ago and I don't think many people actually use it. Besides, djinn (used as backend for auto
) is highly experimental software with no apparent activity lately. So I'm not sure if this potential you see will ever be realized.
I actually have more hope for the existing autocomplete behavior in terms of providing useful suggestions.
Well, there is a lot of space for improvement on current autocompletion. For one, it's a long-standing issue that local definitions are not suggested (there are two ways to deal with this actually, one Atom-side, and one ghc-mod-side). Hole completions also were written in an afternoon or two and then promptly forgotten about -- I don't even remember half of the implementation details :) So feel free to hack on it if you think you can improve something. Or file issues. Can't promise I will do something fast, but I usually do something eventually.
it just doesn't seem worth the performance penalties right now
Well, we might as well put this on ice then. Might come in handy one day, if not today, right?
feel free to hack on it if you think you can improve something
It's worth exploring, so I just might take a look at it in my spare time :smiley:
But yeah, let's shelve this for now. Thanks for all the thoughtful comments and for prototyping this out!
This is really cool, and the implementation looks good, but I have to say that
auto
provides such poor suggestions that I wonder if it's even worth using at all.About the only good it did on a real-ish project was suggest a variable in scope:
After about a dozen of these, my system started stuttering and locking up, and I saw this:
Also, autocomplete doesn't pop up until
auto
has either finished or been killed, which sometimes takes a few seconds.I think
auto
has awesome potential, but it just doesn't seem worth the performance penalties right now. I actually have more hope for the existing autocomplete behavior in terms of providing useful suggestions.