The Coq mailing list

["M. Scott Doerrie" <mdoerri AT cs.jhu.edu>]

I am running out of memory instantiating a module from a functor.  My 
coqtop process grows to 3.5 Gb before I kill it.   I will be upgrading 
coq again to the latest release in an attempt to fix this, but I'm 
concerned that my proofs may be to blame.  Are there any known issues 
that could cause this?

Michael Doerrie