Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Memory consumption issue with Containers.Maps

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Memory consumption issue with Containers.Maps


Chronological Thread 
  • 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.




Archive powered by MHonArc 2.6.18.

Top of Page