coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Error: RRec not handled

From: Michael Day <mikeday AT yeslogic.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Error: RRec not handled
Date: Sat, 10 Apr 2010 15:18:13 +1000

Hi,

When defining a recursive function using Function, what does this error message mean:

Error: RRec not handled

Thanks,

Michael

--
Print XML with Prince!
http://www.princexml.com

[Coq-Club] Error: RRec not handled, Michael Day