/home/laney/.irssi/irclogs/Freenode/#agda.log-20170608

--- Day changed Wed Jun 07 2017
yhhkoAn internal error has occurred. Please report this as a bug. Location of the error: src/full/Agda/TypeChecking/Serialise/Instances/Common.hs:16807/06 13:08
yhhkothis is during some big modifications to the hott-agda library. i have no idea how to make a minimal test case. but i'm doing stuff with instance arguments, if that helps07/06 13:08
yhhkoseems like it always breaks on the current module being checked, rather than its imports. so a workaround is to just type-check from higher up07/06 13:16
comietekpattern synonyms <307/06 23:26

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!