Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] character pipe in a comment

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] character pipe in a comment


Chronological Thread 
  • From: Stefan Monnier <monnier AT iro.umontreal.ca>
  • To: Michel Levy <michel.levy1948 AT gmail.com>
  • Cc: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] character pipe in a comment
  • Date: Sun, 19 Feb 2023 11:20:03 -0500
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=monnier AT iro.umontreal.ca; spf=Pass smtp.mailfrom=monnier AT iro.umontreal.ca; spf=None smtp.helo=postmaster AT mailscanner.iro.umontreal.ca
  • Ironport-data: A9a23:kpjlVa4EJ4bN1Vtx+tj7lwxRtJPDchMFZxGqfqrLsTDasY5as4F+v mBJWmiPO6uKY2T9LtAkPN7goUhUsJTTnN9gHgY+/iswZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UYYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhnglbQr414rZ8Ek05K6r6WtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj68pLHF8wMqglwNYtDHkT2 f5fKA8XQQ/W0opawJrjIgVtrsEqLc3wN4oZvHx6izDDCrA7RJfFX7/H7Nse1z5YasJmRK2EI ZBBNXw1MVKdO3WjOX9PYH46tOKvgH/+fidwqUiS47cy5G7P1gF41P7mObI5f/TbHpkMxB/H+ goq+UziIjALbPjO+QabrG2Sus3GmCfGAoQrQejQGvlC2gTJlzNPVHX6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVYvGjiHuNvxoHUNNWFeAgrgCXzezJ5gGfGnIJRzoHY9VOWNIKqSIC6 XqZgdXmIAFVgOeYUS+x9PCUkimdJn1ARYMdXhMsQQwA6tjlhYg8iBPTU9pueJJZaPWuQ1kcJ BjR90ADa6UvYd0ji/jmoQmW6964jt2WFVBuv1+/sneNt1sRWWKzW2C/wXPyhRqqBKOeSEWbs XEA8yR1xMBUNflheMFBKdjh8Zms7veBKzbVh1hiBd8g7TPr5nuke5xK7Th6YkxgWirlRdMLS BGO0e+yzMYOVJdPUUORS9jrYyjN5fO4fekJrtiOMrJzjmFZLWdrBh1Ga0+KxHzKm0Mxi6w5M przWZ/yUihFVfk/lmXsGbd1PVoXKsYWmDm7qXfTkk/P7FZiTCXNIVv4GALXPr5ksvvsTPv9q ooFaqNmNCmzoMWkO3OGrtJPRbz7BWI2Hp3/toRbOe+FLA18HWg9CvjX2vs6cI1ombhUmObR4 3ymEkNFgEPiiHfKIk3KcHF4AI4Drr4ixU/XyRcEZA7ys1B6ONbHxPpBK/MfIOd2nMQ9lqQcZ 6deJK297gFnFmivF8I1NsOm/eSPtX2D2WqzAsZSSGJjLsc9F1eWoYOMk8mG3HBmMxdbfPAW+ 9WIvj43i7JZL+i7JJePOKCc3BmqsGIDmel/eULNL5MBMA/v6YVmYWi5xPM+P8hGe12Jyyq4x jSmJ04ShdDMhIspr/jPp6SP9LmyH8VEQ0F1Imj87JSNDxf8wFaN+4F7fdyzTWjvb1+soKSGT sdJ/s74K8wCzQprsZIjMrNFzpAextrIpp1CxQE0AXn0NkqhDIlxEEaoxu1KkK1sx6BYiySyS Emg6tlXApTXGcLHQXo6BhspUfSH7t4QwgLt1PUSJF7owQNK55+FbBliBAaNgyljM7dFCoMp7 uM/ssow6QbkqB4VHvuZryJTrUKgE2chVvg5i5QkH4PbsAon5VVca5j6CCWtwpWuac1JA3Y6M A2vm6vOqLRN9HXsK0NpOyD24tNcopAStDRh7lwIfQ2Jk+WYoM4H5kRa9DBvQzlFyhlC7flIB VFqEE9LdIGu5DZjgfZRU1+8Qz9hAAKrwW2v6l8rulCAcWyWeD3jEGkPN9yJ3nglyENHXz0C/ Lin2GfvCjnrW8fq3xoNY01uqt29bNl15wfTxZmtIJWYE7kYZQvanbKfP0cJjzDFAsoBolLNi sc33eR3aIz9bTUxpY9iAaak9L0gcjK2D00cfuNE44UyAnD6RDG+/ROsOnKBUJpBCNKS+HDpF vE0ANxEUiqP8RqnrxcZNPYqGKB1lvt43+gyUOrnCkBeuoTOswczlozb8xX/o2oZQ99Ot8IZA aGJfhKgFl2gv1dlq1XvnuJlZFXhOcIlYTfi1t+b6O8KTpIPkN99eHEIj4ebgS+nDxtFzTm14 iXzP7Tb3s5z+7RKxoHMKJhONy+wCNH0VdmLzjyNjsRzXYvPH/vj5wIxgXv7DjtSJooUCohWl 6zSkdvZ33HlnbcRUkLFqqaFDKITw8W4WbdTOcOqNHJfzTaOZ5by6R056lKHB4dtlfVdx8i4R jmXbNm7Ws4VVux8mlxUSXl6ODQMB5vnapzPoXuGkM2NLRwGwynrHciC51awSU16LwgmY4bfD C3wsNaQvuFolpxGXkI4Nqs3Eq1GL0/Gcop4Ud/I7B2zLHSi23GGsZvczSsQ0ynBUCS4IZyr8 KD+Z0bMcTqps/v11/BfiYt5uyMXAFtbgeUdekE8+cZ8uwulDVwpfPgsDpEbNq56yiDC9on0R DXoXlsQDS/QWTdlcxKl7uq6D03bTqYLN8ziLzMkw1KMZm3kTMmcCb9m7WF7720wZjLny/q9J MoD/mHreCK82YxtWf1Z88nTbT2LHR8G7ilgFYHBf83O79I2BLwL0GdqFQxLWDaBEtvK0ljOI m4pX21NRAewQCYd1Cqml2F9QHkkUPHHll3ErhtjBP7eoYLd0ehHzuHlNuj3lLYKBCjPDKBbX mv5HgNh/EjPskH+esIVVxYBgLVzT++OGc6mNqLqQUsZlslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA=
  • Ironport-hdrordr: A9a23:mpSaOa9p6fHQL6wez7xuk+D8I+orL9Y04lQ7vn2ZhyY1TiX4rb HWoB1/73LJYVkqKRUdcLy7V5VoBEmslqKdgrNhW4tKPjOW2ldARbsKheCJrwEIWReOk9K1vp 0BT0ERMrPN5BRB/KHHyTj9Ke8J5J2m14+P7N2ut0tFfEVRUolFqyJUNSq/e3cGPzV7OQ==
  • Ironport-phdr: A9a23:IU0yhBYrG0hG5ITiFKHHseb/LTHj2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPBNqAoKIbw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtIiTanfL9/L hu7oQrSu8QUnIBvNrs/xhzVr3RHfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQ LJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4 btnRAPuhSwaLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGhY IsVF+cPPfhWopfgqVQMrhW+CweiC+3gxTBUnXL2wbE23v49HQ3axgEsA9QDu2nUotXvM6cSV Pi4wrTUzTrdYfNZwzH945XPfBAmp/GMW7NwftTLyUIyEA7Fi1KQqYrjPzOUyOsNqXOW7+t6V eKokWIntgRxoj+pxscwkInGmJgaylTe+Spl2ok4PNu1Q1N0btC4CpVfrT2aN5doTcM4RWFlo Dg2x7katJC1YCQHzJQqyRHdZvGDcoWF/gzuWeWTLDp4mn9rdrOyiRmy/0WixePxVc253VJUo idbkdTBuWwA2RPV58OaSfV95l+s1SuB2gzN8O1IP1w4mKXBJ5I/wrM8jJoevVjbEiPohUn7j bWaelgk9+Wn8ejqbLrrqoWCO4J7jAz1L74gldalAesiNwgDR2ib9vq41L3k5UD5Ra9Fjvwyk qnCrJ/VP8IbpqinDA9PyIoj6gy/DzC83NQFmHkHK1RFeA6dj4f3IV7OJOr0AuuljFi0kTdrw e7JPqH5D5nQIHXPjq3tcahh50NT0gY/09BS64hUB70dOP7zX1X+tN3cDh83KQy0xOPnBc141 oMZX2KPBK6ZP73IsVKT5+IvOe6MaJUIuDb4LPgl4eLujWUnllAHeamlx4cYZ2qgEvRgOEqWe WDsjcsZEWcWogo+S/TnhECaXT5Je3myR7485i08CI++EYjDQZmtjKWd0ye/A51ZfXtLCkuME Hftb4WLQe0AaCOUIs97kzwLT6KtS4E71ULmiAiv7rtsLufQsgkVq4OrgN107O3ekVc2+CJlV pXBg0mCSmh1miUDQDpgj45lpkko8UuO36F+y9lfE9pS6ukBBgI9M5jdwvZSCsr1HB/EedGVU luvRpOtCGdiHZoK39YSbhMlSJ2ZhRfZ0n/vWudN/1TqLJk986aGmmP0O9440XHNkq8ok1ghR MJLc2ygnK92sQbJVMbSi0vMsaGseOwH2TLVsn+ZxD+Lu0deUQNqeaTfWjYCY0zQsc7070eER Lb9Qa8/PF55wNWZYrBPdsWviFxHQPn5P9GLZmW3nWa9Hz6J3LTKcY/tfXkH0SzZTkMNwEgI5 XjTEw84C2+6pn7GSjxjEVW6e0T37ex3s2+2VGcxxgCOdEZo0by44FgUn/vaVvYU2K4etS4l7 T59dLqk9/TRDdfI5w9ofaEGJMg4/E8Cz2XS8Qp0Ip2nKalmwF8YaQV++U30hV1xDc1bnM4mo WlPrkI6IL+E0F5HazKT3IzhcrzRJG7o+RmzaqnQkljA2deS860L5bw2sVLm9A2uE0Mj9T1g3 bw3mzOZ4ZPMDQcIeZPrVQAq8h98u6vXay177IqVnXxgPK+osyPTjsozDbhAqF7odNNePaWYU Q7qRpRBXY70cLBswQXvM0pXWYIavLQ5NM6nafacjauiPeI62SmjkXwC+od2lESF6yt7TOfMm ZcD2fCRmAWdBFKexB+stN76nYdcaHQcBG26nGLhA4hXZ6BoVYcRDiGzJsqx2s9zjpqrUHcSp zvBTxsWndSkfxafdQm32ApW00Uau1Smgyz+0jlzlS0zo6ObmifHibeHFlJPKitAQ29sik3pK I6/goUBXUSmWAMukQOs+Ufww6UzSL1XF2DIWg8IeiH3KzsnSa6srv+YZMUJ7po0sCJRWeD6Y FaAS7e7rQFImy/kGmJfwng8eVTI8t38mBp8iW+HBHdpqzzEfMZ22Q3S7diaTvcZ0jcdRSZ+g CXaHRDlZIPvp43I0c2e9L3mH2u6M/8bOTHm14aBqDe26SVxDBuzkury0tzrHA4m0DPqgtxjV CHGthH5McHg06W3N/4if1E9XQSmrZAiRsckz81t3MJ1uzBSnJie8HsZnH2mNNxa3fi7d38RX XsRxNWT5gH52UplJ3bPxoTjV3zbzNEyArvyKm4QxC856NhHTamO67kR1y5ypFy5oBj5YOJ62 CoYzv0y8nMTh6cCsUB+q0fVSqBXBkReMSH2wl6N6Na4rahNTGe1dv6t0U14gcqsBbXEqQgWC xObMt8yWCR36Mt4KlfF1nb+v5rldNfnZtUWrhSIkh3EgrsdONcrm/ENnyYiJXPlsChv1bsgl RI3l8Lf3sDPOyB38am+GBIdKjDle5ZZ5GT2lagH1s/E2o21FYh7F3MKRpyuUPevFi4IuP3jc Q2HdV904n7JHLPeGVfGrkZ8qDTSFpetK2uaLX1fxtwqTUuYLU1bxgEOW3Mnm5k/Chqnzcine 04chHhZ7wz9oxpI0elhMR/ySCHevgDudzIzToSFIRNSqApLr0bTOsiD4u8hAiRf+IG7oQWJb GeSLxJBCWVDMqCdL3bkOLTmpdzJ8uzCQ/G7M+OLe7KF7+pXS/aPw5urlIpg5TeFcMuVbDFkC LUg10xPUGoceYyRkigTSyERiyPGbtKK7Ba69Cptq8mj8fPtEAvx7IqLArFWPJ1h4RezyauEM ueRgm5+J1M6ntsUwmTUzbEEwFMIoyRndj22Gr0GsyPXCqPKnelKChkddzl+Pc8O5Kt9lghBN MjHi8/kg751ivlmbjUNHVflm8yveYkLOzTkbwmBXh7Xcu7bY2CTkKSVKeumRLZdjftZrUi1s DefSQr4Oyib0iPuXFapOP1NiyeSOFpfvpu8e1BjEzuGLpquZxulPdtwlTBzz6czgyaAMGkaN zlxaWtMtLrW8CZfhOllFmVFqHFsZ7rh+W7R/6zDJ5AavOE+SDxzjP5f6W8mxqF96ShFQOd+k S3Uo8Qookuh1PSKzTx7ShdHrnBAjcjY2CcqcbWc/Z5GV3He+RsL5mjFEBUGqexuDdj3srxRw NzC/EocADZY9JTJ+MwaG9LZIcbBO3NzaHIB+RbRBQoBVjWiM2fSnQpcivbU63iSqIQgp5Ho3 pEHGOczvLkdF+kdTFlgG9oeOpp+WnUvmOzD5PM=
  • Ironport-sdr: 63f24c3a_sp01yvuTp6cbxoOTVPyZzF2V18oK8LwuXPCJNT7B67QBv+M Cd+TWba311gVhckjuOM5s/atXt01znGc4icpvmg==

> When, with the Emacs editor , I try to write, in a Ocaml program, this
> comment (* | *) or any comment with pipe inside the comment, Emacs doesn't
> see that the right parenthesis matches with the left parenthesis. Is this
> Emacs behavior normal ?

That would be a bug.


Stefan




Archive powered by MHonArc 2.6.19+.

Top of Page