Subject: Ssreflect Users Discussion List
List archive
- From: "Strub, Pierre-Yves" <>
- To:
- Subject: [ssreflect] [rewrite ?foo] not catching dependent rewrite errors.
- Date: Thu, 15 May 2014 12:10:45 +0200
Hi,
This is more a "is this a bug or a feature?" question.
Shouldn't [rewrite ?foo] succeeds when the rewrite fails due to a dependent rewrite error?
Best,
-- Pierre-Yves.
- [ssreflect] [rewrite ?foo] not catching dependent rewrite errors., Strub, Pierre-Yves, 05/15/2014
- Re: [ssreflect] [rewrite ?foo] not catching dependent rewrite errors., Enrico Tassi, 05/15/2014
- Re: [ssreflect] [rewrite ?foo] not catching dependent rewrite errors., Enrico Tassi, 05/15/2014
Archive powered by MHonArc 2.6.18.