coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5.

From: Sriram Srinivasan <sriram AT malhar.net>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5.
Date: Tue, 24 Feb 2015 06:41:01 +0000 (UTC)

Jason Gross <jasongross9 <at> gmail.com> writes:

>
>
> You are looking for the [Set Asymmetric Patterns] compatibility option.

Thank you for the prompt response.

[Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5., Sriram Srinivasan, 02/24/2015
- Re: [Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5., Jason Gross, 02/24/2015
  - Re: [Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5., Sriram Srinivasan, 02/24/2015
- Re: [Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5., Guillaume Melquiond, 02/24/2015
  - Re: [Coq-Club] Pierce Software Foundations. Runs fine in Coq 8.4, but error in 8.5., Frédéric Blanqui, 02/24/2015