Subject: Ssreflect Users Discussion List
List archive
- From: Enrico Tassi <>
- To:
- Subject: Re: [ssreflect] [rewrite ?foo] not catching dependent rewrite errors.
- Date: Thu, 15 May 2014 14:38:14 +0200
On Thu, May 15, 2014 at 12:10:45PM +0200, Strub, Pierre-Yves wrote:
> 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?
Oops, I misread your message. Yes, it should.
Ciao
--
Enrico Tassi
- [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.