coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Info about error message

From: Vincent Aravantinos <vincent.aravantinos AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Info about error message
Date: Thu, 24 Jan 2008 19:07:42 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:content-transfer-encoding:message-id:content-type:to:subject:date:x-mailer:from; b=FcsdHlnJ2Rd8KEAwzlQtiwsoRFfyM+LG+pj7kmfGbX5gJ5XTuGs/bNAhjaUIkwBVrvJgOa7MLXg8NsWspywtxaJaP7mQ2v8JvA0nn0ewatg+R6Yae7qw/0qxWS2IuUTiiW72J8wxVQZ++3yB2Fdu373hWgn5r1uoi0HZE74JHc0=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

I'm encountering the following error while doing an "apply ... in" :

"User error: cannot find an instance for ... "

And I can't find any documentation about this error so I don't really know how to interpret it.
Is there a kind of hidden doc that would document things that are not in the user manual ?

(Please notice I didn't ask for how to solve my error but just for some doc about it, I'd like to do it by myself :).

Thanks !
V.

[Coq-Club] Info about error message, Vincent Aravantinos
- <Possible follow-ups>
- [Coq-Club] Info about error message, Vincent Aravantinos
  - Re: [Coq-Club] Info about error message, Andrew McCreight