[Agda] panic error message on Windows
Aaron Stump
aaron-stump at uiowa.edu
Fri Feb 7 22:14:04 CET 2014
Hi, Agda community.
For my big (> 90 students) undergrad this semester which is using Agda
2.3.2, we are occasionally getting disturbing reports from Windows users
of receiving the following error message from Agda under emacs:
Panic: invalid range when printing error:
C:\Users\TheStudent\AppData\Local\Temp\: openTempFile: permission denied
(Permission denied)
This is a nasty one, as we don't know even a workaround. I do find some
discussion on ghc list archives about openTempFile having a problem if
the file is actually a directory, or something like this -- but the
issue was supposedly fixed long ago in ghc.
Any ideas how to work around this problem?
Thanks,
Aaron
More information about the Agda
mailing list