Repl extremely slow on windows spacemacs

[wangboyu-langya]

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]

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 <#500>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAA4FAU5WHDJ2BPYHFXPV2LPRVBFBANCNFSM4HHNNHPQ> .

[wangboyu-langya]

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 <#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]

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 ***@***.*** >: > 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 > <#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 <#500 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAA4FAWSFQEL7RRZIMNZW5DPRVDDJANCNFSM4HHNNHPQ> .

[wangboyu-langya]

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 ***@***.*** >: > 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 > <#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 <#500 (comment)>, 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.