[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