coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: David Pereira <dpereira AT liacc.up.pt>
- To: Justus Matthiesen <justus.matthiesen AT cl.cam.ac.uk>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Memory consumption issue with Containers.Maps
- Date: Tue, 27 Nov 2012 18:15:56 +0000
Hi,
Did you tried [Check @map]. I have not tried exhaustively with containers in
8.4, but I suspect the problem may be with Coq trying to find an instance to
the definition of [map].
Hope it helps,
David.
- [Coq-Club] Memory consumption issue with Containers.Maps, Justus Matthiesen, 11/27/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, David Pereira, 11/27/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, Justus Matthiesen, 11/27/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, David Pereira, 11/28/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, Arnaud Spiwack, 11/29/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, David Pereira, 11/28/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, Justus Matthiesen, 11/27/2012
- Re: [Coq-Club] Memory consumption issue with Containers.Maps, David Pereira, 11/27/2012
Archive powered by MHonArc 2.6.18.