search

idris-hackers / idris-mode

Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
GNU General Public License v3.0
267 stars 70 forks source link

Repl extremely slow on windows spacemacs #500

Open wangboyu-langya opened 5 years ago

wangboyu-langya commented 5 years ago

I am using idris-mode in spacemacs on Windows. Everything else works perfectly. However the repl function is not very responsive from time to time. This might be a problem of windows emacs instead of idris-mode. It would be great if someone could look into it and locate the problem. Thanks.

david-christiansen commented 5 years ago

When you say it's not responsive, I can think of a few things that might be the case. Can you indicate which of the following sentences match your experience?

  1. It takes a long time between a keystroke and the letter appearing at the REPL
  2. It takes a long time after pressing enter for the result of evaluation to appear at the REPL
  3. Interacting with terms at the REPL, like right-clicking and asking for docs, takes a long time for Idris to reply (or alternately for the menu to appear)
  4. Scrolling is jerky and slow

And you say "from time to time": does this mean that it's only slow sometimes? If so, is it that a whole session will get slow until you restart it, or is it more that one command might be slow and the next fast?

Thanks!

Den søn. 21. apr. 2019 kl. 22.02 skrev Xianglong notifications@github.com:

I am using idris-mode in spacemacs on Windows. Everything else works perfectly. However the repl function is not very responsive from time to time. This might be a problem of windows emacs instead of idris-mode. It would be great if someone could look into it and locate the problem. Thanks.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/500, or mute the thread https://github.com/notifications/unsubscribe-auth/AAA4FAU5WHDJ2BPYHFXPV2LPRVBFBANCNFSM4HHNNHPQ .

wangboyu-langya commented 5 years ago

The problem I ‘ve met is mainly the first one. It works fine at first, but only after a while the input becomes very jerky. As to the second problem, the repl doesn’t seem to work. I can still see the input and press enter, but it doesn’t seem to be responsive. I have to manually kill the idris ide support and the socket and restart to get it back to work. Sorry, to clarify a little bit, not from time to time, but that’s always the case, and it happens all the time. 发件人: David Thrane Christiansen 发送时间: 2019年4月22日 1:06 收件人: idris-hackers/idris-mode 抄送: Xianglong; Author 主题: Re: [idris-hackers/idris-mode] Repl extremely slow on windowsspacemacs (#500)

When you say it's not responsive, I can think of a few things that might be the case. Can you indicate which of the following sentences match your experience?

  1. It takes a long time between a keystroke and the letter appearing at the REPL
  2. It takes a long time after pressing enter for the result of evaluation to appear at the REPL
  3. Interacting with terms at the REPL, like right-clicking and asking for docs, takes a long time for Idris to reply (or alternately for the menu to appear)
  4. Scrolling is jerky and slow

And you say "from time to time": does this mean that it's only slow sometimes? If so, is it that a whole session will get slow until you restart it, or is it more that one command might be slow and the next fast?

Thanks!

Den søn. 21. apr. 2019 kl. 22.02 skrev Xianglong notifications@github.com:

I am using idris-mode in spacemacs on Windows. Everything else works perfectly. However the repl function is not very responsive from time to time. This might be a problem of windows emacs instead of idris-mode. It would be great if someone could look into it and locate the problem. Thanks.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/500, or mute the thread https://github.com/notifications/unsubscribe-auth/AAA4FAU5WHDJ2BPYHFXPV2LPRVBFBANCNFSM4HHNNHPQ .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

david-christiansen commented 5 years ago

Thanks!

Have you tried running idris-mode in a non-Spacemacs emacs? Does the command line REPL exhibit the same behavior?

Den søn. 21. apr. 2019 kl. 22.18 skrev Xianglong notifications@github.com:

The problem I ‘ve met is mainly the first one. It works fine at first, but only after a while the input becomes very jerky. As to the second problem, the repl doesn’t seem to work. I can still see the input and press enter, but it doesn’t seem to be responsive. I have to manually kill the idris ide support and the socket and restart to get it back to work. Sorry, to clarify a little bit, not from time to time, but that’s always the case, and it happens all the time. 发件人: David Thrane Christiansen 发送时间: 2019年4月22日 1:06 收件人: idris-hackers/idris-mode 抄送: Xianglong; Author 主题: Re: [idris-hackers/idris-mode] Repl extremely slow on windowsspacemacs (#500)

When you say it's not responsive, I can think of a few things that might be the case. Can you indicate which of the following sentences match your experience?

  1. It takes a long time between a keystroke and the letter appearing at the REPL
  2. It takes a long time after pressing enter for the result of evaluation to appear at the REPL
  3. Interacting with terms at the REPL, like right-clicking and asking for docs, takes a long time for Idris to reply (or alternately for the menu to appear)
  4. Scrolling is jerky and slow

And you say "from time to time": does this mean that it's only slow sometimes? If so, is it that a whole session will get slow until you restart it, or is it more that one command might be slow and the next fast?

Thanks!

Den søn. 21. apr. 2019 kl. 22.02 skrev Xianglong <notifications@github.com

:

I am using idris-mode in spacemacs on Windows. Everything else works perfectly. However the repl function is not very responsive from time to time. This might be a problem of windows emacs instead of idris-mode. It would be great if someone could look into it and locate the problem. Thanks.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/500, or mute the thread < https://github.com/notifications/unsubscribe-auth/AAA4FAU5WHDJ2BPYHFXPV2LPRVBFBANCNFSM4HHNNHPQ

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/500#issuecomment-485327869, or mute the thread https://github.com/notifications/unsubscribe-auth/AAA4FAWSFQEL7RRZIMNZW5DPRVDDJANCNFSM4HHNNHPQ .

wangboyu-langya commented 5 years ago

I would test in a few days and tell you the result then.

发件人: David Thrane Christiansen 发送时间: 2019年4月22日 1:20 收件人: idris-hackers/idris-mode 抄送: Xianglong; Author 主题: Re: [idris-hackers/idris-mode] Repl extremely slow on windowsspacemacs (#500)

Thanks!

Have you tried running idris-mode in a non-Spacemacs emacs? Does the command line REPL exhibit the same behavior?

Den søn. 21. apr. 2019 kl. 22.18 skrev Xianglong notifications@github.com:

The problem I ‘ve met is mainly the first one. It works fine at first, but only after a while the input becomes very jerky. As to the second problem, the repl doesn’t seem to work. I can still see the input and press enter, but it doesn’t seem to be responsive. I have to manually kill the idris ide support and the socket and restart to get it back to work. Sorry, to clarify a little bit, not from time to time, but that’s always the case, and it happens all the time. 发件人: David Thrane Christiansen 发送时间: 2019年4月22日 1:06 收件人: idris-hackers/idris-mode 抄送: Xianglong; Author 主题: Re: [idris-hackers/idris-mode] Repl extremely slow on windowsspacemacs (#500)

When you say it's not responsive, I can think of a few things that might be the case. Can you indicate which of the following sentences match your experience?

  1. It takes a long time between a keystroke and the letter appearing at the REPL
  2. It takes a long time after pressing enter for the result of evaluation to appear at the REPL
  3. Interacting with terms at the REPL, like right-clicking and asking for docs, takes a long time for Idris to reply (or alternately for the menu to appear)
  4. Scrolling is jerky and slow

And you say "from time to time": does this mean that it's only slow sometimes? If so, is it that a whole session will get slow until you restart it, or is it more that one command might be slow and the next fast?

Thanks!

Den søn. 21. apr. 2019 kl. 22.02 skrev Xianglong <notifications@github.com

:

I am using idris-mode in spacemacs on Windows. Everything else works perfectly. However the repl function is not very responsive from time to time. This might be a problem of windows emacs instead of idris-mode. It would be great if someone could look into it and locate the problem. Thanks.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/500, or mute the thread < https://github.com/notifications/unsubscribe-auth/AAA4FAU5WHDJ2BPYHFXPV2LPRVBFBANCNFSM4HHNNHPQ

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/idris-hackers/idris-mode/issues/500#issuecomment-485327869, or mute the thread https://github.com/notifications/unsubscribe-auth/AAA4FAWSFQEL7RRZIMNZW5DPRVDDJANCNFSM4HHNNHPQ .

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub, or mute the thread.