[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