[Agda] internal error in Dev Dec 4

[Ulf Norell]

Without a self contained example we can't do much I'm afraid.

/ Ulf

On Thu, Dec 6, 2018 at 10:38 PM Sergei Meshveliani <mechvel at botik.ru> wrote:

> Deag Agda team,
>
> I have in Development Agda of December 4, 2018
> (Ubuntu Linux 18.04, ghc-8.02):
>
>  agda $agdaLibOpt +RTS -K90m -M15G -RTS  PolNF.agda
>  -->
>
>  An internal error has occurred. Please report this as a bug.
>  Location of the error:
>  src/full/Agda/TypeChecking/CompiledClause/Compile.hs:126
>
>
> The example is large, there are several .agda files.
> If you need a self-contained (and small?) example, ask me,
> may be I shall try to provide such.
>
> Regards,
>
> -------
> Regards
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20181207/eb7a5a25/attachment.html>