[Agda] weird behavior with large records

Andrés Sicard-Ramírez andres.sicard.ramirez at gmail.com
Wed Jun 2 19:38:08 CEST 2010


Hi Chris,

On 2 June 2010 10:58, Chris Casinghino <chris.casinghino at gmail.com> wrote:
> I've attached a file I'm playing with.  It's just a copy of part of
> coq's "FSet" library.  When I try to load the file in emacs, agda
> thinks for a bit then stops without loading the file or giving an
> error.

What is the output in the *ghci* buffer?

>Can anyone confirm they also see this odd behavior?  I'm
> running agda 2.2.6.

I could not reproduce the behavior using Agda 2.2.6.

-- 
Andrés


More information about the Agda mailing list