Non-termination of Agda file loading

[vieillevigne]

C-c C-l on current open Agda file never terminates. (I have attempted this on several different files.) C-c C-x C-q does terminate the intended load. The attached screenshot shows the state of affairs, including Loading ...

[banacorn]

Thank you for reporting this! Could you give me an example Agda file that causes non-termination for reproducing this issue!

[freedan42x]

Hi, I got the same issue, like infinite connection, even when trying to load simple file module Foo where.

Agda 2.6.0.1, installed via stack.

[banacorn]

@freedan42x could you please go to Settings > Log and press the "Dump Log" button, and paste the generated log here, thank you!

(the settings button is located at the bottom right of the panel)