Bug in Agda version 2.3.2 (Ubuntu 13.10):
An internal error has occurred. Please report this as a bug.
Location of the error: src/full/Agda/TypeChecking/Records.hs:216
To reproduce:
Load the file BackwardsInduction.agda
Script version:
tar -zxf SeqDecProb_2013-10-25_record_bug.tgz
cd SeqDecProb
agda -i ~/lib/agda-stdlib -i . BackwardsInduction.agda
From patri...@gmail.com on November 01, 2013 10:06:33
Bug in Agda version 2.3.2 (Ubuntu 13.10): An internal error has occurred. Please report this as a bug. Location of the error: src/full/Agda/TypeChecking/Records.hs:216 To reproduce: Load the file BackwardsInduction.agda Script version: tar -zxf SeqDecProb_2013-10-25_record_bug.tgz cd SeqDecProb agda -i ~/lib/agda-stdlib -i . BackwardsInduction.agda
Using stdlib-0.7
Attachment: SeqDecProb_2013-10-25_record_bug.tgz
Original issue: http://code.google.com/p/agda/issues/detail?id=931