[Agda] Bug report

Philip Wadler wadler at inf.ed.ac.uk
Thu Sep 20 22:13:45 CEST 2018


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/d4104719/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: broken.lagda
Type: application/octet-stream
Size: 294 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180920/d4104719/attachment.obj>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180920/d4104719/attachment.ksh>


More information about the Agda mailing list