[Agda] internal error in Dev Dec 4

[Sergei Meshveliani]

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