[Agda] An internal error has occurred. Please report this as a bug., Location of the error: src/full\Agda\Syntax\Abstract\Name.hs:82

[Vag Vagoff]

module dbg where

import src.Algebra.Structures -- ./src/Algebra/Structures.agda file exists

 >> An internal error has occurred. Please report this as a 
bug.,Location of the error: src/full\Agda\Syntax\Abstract\Name.hs:82

Windows XP, Agda2-setup-20090326.exe