coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Justus Matthiesen <justus.matthiesen AT cl.cam.ac.uk>
To: David Pereira <dpereira AT liacc.up.pt>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Memory consumption issue with Containers.Maps
Date: Tue, 27 Nov 2012 22:20:35 +0000

> Hope it helps,

It does. Thanks!

> 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].

I may have been a bit rash to consult coq-club: dict is the analogue of set;
map is of course just the "mapping" function so it needs an FMap instance in
context.

[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