[Agda] Bug report

[Philip Wadler]

That program delivered the error in context, but I discovered it does not
deliver the error after re-starting Agda. Nor can I create a program that
does. It appears to be a heisenbug. That won't be enough to track it down.
Sorry. -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/

Too brief? Here's why: http://www.emailcharter.org/


On Thu, 20 Sep 2018 at 21:13, Philip Wadler <wadler at inf.ed.ac.uk> wrote:

> Attached program gives the message:
>
> An internal error has occurred. Please report this as a bug.
> Location of the error:
> src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:178
>
> Cheers, -- P
>
> .   \ Philip Wadler, Professor of Theoretical Computer Science,
> .   /\ School of Informatics, University of Edinburgh
> .  /  \ and Senior Research Fellow, IOHK
> . http://homepages.inf.ed.ac.uk/wadler/
>
> Too brief? Here's why: http://www.emailcharter.org/
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180920/56037a52/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180920/56037a52/attachment.ksh>