coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] cutrewrite

From: Théo Zimmermann <theo AT irif.fr>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] cutrewrite
Date: Mon, 20 Jul 2020 12:14:41 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo AT irif.fr; spf=Pass smtp.mailfrom=theo AT irif.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
Ironport-phdr: 9a23:P87mOxyAhcwxxl7XCy+O+j09IxM/srCxBDY+r6Qd2+4VIJqq85mqBkHD//Il1AaPAdyFra4fwLCI+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhJiTanbr5/Ihq6oRvQu8ILnYZsN6E9xwfTrHBVYepW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbfVwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0higZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDYyyb4QND+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDvmrUrNLvM6cdSeO6zKjNzTXGcfxWwzL955LOchAnvPqBWq5wccrPxkkoDA7Fj0+QqY3rPz+P2OQNqXGW4ux9Xu2gl2ApsRt+oiSzxsgykInJgJoYx0za+Ch9z4g4JNO1RkB1b9OkH5ZdqTyXO5Z2TM4+Q2xluyg0x7IHtJO4fCUHyZopyRDfZfCbc4aF4xDuWPiTLDp+mXlre6q/ig6v/UWkxeDwTNe43VZFoyZfk9TAq2oB2wHd58WEUvdx4Fut1DKV2w3Q6uxIO144mbbYJpI737I9lJoevELeFSHsgkr2lrWZdkA89+io9evnZrLmq4efN49zkAH+NaAuldKhAegiLwgOWWmb+fql2L3750L5WrRKjuY0n6XDvpDaP9wXpq+/AwBLzoYu8wuzAjOp3dgCg3UKLF1IdAiGgoT0IV3CPf71APSnj1SpijhrxvTGPrP7ApXKK3jOiKvhfbZj5E5b0wczzMpf55NaCr0bLvLzQFf9tMbEAR8hLwy03+HnBc1h2YMZQGKDG7OWMKfPsVCT/e8vOOmNZIoNuDnnMfQl5vjujWU4mVAHZ6Wp04EXOziEGaFNJFzRSn7xiJ9VGmAT+wE6UebCiVuYUDcVaWzkDIwm4TRuNIInCrDxR4WojaaE1SG9VslKZm1BIlGWEHmueZ/SCKREUz6bPsI0ym9MbrOmUYJ0kEj27FammYoiFfLd/2gjjbymzMJ8tr/SjxA8szJuXZzEjjO9Clpsl2ZNfAcYmaBypUsnlgWA1rJ/h/FGU8FV5u0MSg4gNIWDieJgWYirC1DxO+yRQVPjee2IRDQ4T9Y/2dgLMhR8AdSsyB7ZjXOn

Hello,

Feel free to open a pull request to update the documentation to propose replace as a replacement for cutrewrite. It looks like a much better solution than enough in all cases.

Théo

Le lun. 20 juil. 2020 à 11:52, Chris Dams <chris.dams.nl AT gmail.com> a écrit :

Hello Laurent,

Yes, that looks good. It looks like replace does more or less exactly the same as cutrewrite.

Thanks!
Chris

[Coq-Club] cutrewrite, Chris Dams, 07/18/2020
- Re: [Coq-Club] cutrewrite, Laurent Thery, 07/18/2020
  - Re: [Coq-Club] cutrewrite, Chris Dams, 07/20/2020
    - Re: [Coq-Club] cutrewrite, Théo Zimmermann, 07/20/2020
- Re: [Coq-Club] cutrewrite, Fabian Kunze, 07/20/2020