20070527-0

Give a description of the bug. For instance:

I get the error message

Regexps.agda:6,1-19
src/full/TypeChecking/Conversion.hs:204: the impossible happened

when type checking the attached file.

Files

Attach:Regexps.agda