coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Application of not a functor

From: Edsko de Vries <devriese AT cs.tcd.ie>
To: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] Application of not a functor
Date: Tue, 13 Nov 2007 10:02:24 +0000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Sorry to reply to my own post, but I just found out that when I avoid
calling the 'Module' and the coq file the same thing, the problem
disappears. Not sure why though!

Edsko

[Coq-Club] Application of not a functor, Edsko de Vries
- Re: [Coq-Club] Application of not a functor, Edsko de Vries
  - Re: [Coq-Club] Application of not a functor, Robin Green