coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Michel Levy <michel.levy1948 AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] character pipe in a comment
- Date: Sun, 19 Feb 2023 14:05:04 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michel.levy1948 AT gmail.com; spf=Pass smtp.mailfrom=michel.levy1948 AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f45.google.com
- Ironport-data: A9a23:R+M1GqqC4X63HuliuvN+HFGkc0BeBmLFYRIvgKrLsJaIsI4StFCzt garIBmHb//ZY2WhfIt1a42w908F7Z7Ux9dnTQA+pSowFi9Go+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHkZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGj9Suv3rRC9H5qyo42tC5w1mPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kvPqFI/cdTG1hVy qM+JzYxUAqpp9y5lefTpulE3qzPLeHuNYIb/25llHTXUatgTpfETKHHo9Rf2V/chOgURaeYN 5dfMGA/KkidC/FMEg9/5JYWmeajhnT7NTlVtkPM9PZny2fWxQ11lrPqNbI5f/TbHpkNxRbJ/ woq+UzgLxwZPp/c7QPc63HxvsnB2hPlAoUdQejQGvlC2QXPnAT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBoRtFHtQMTqs17waCzqeS6AGcboQZctJfQMUlmJ8xZBgw7 0S2wPXmAwBRqpe1d33Io994sgiOESQSKGYDYwoNQg0E/8TvrekPYvTnHokL/Emd3o2dJN3g/ 9yZhHNh2OhL3Kbnw43+rA+X2Wv9znTcZldtvl2/Y46z0u9uiGeYi2GA7FHa6bNfKd/cQAXc+ ncDnMea4aYFCpTleM2xrAclTejBCxWtamW0bbtT838JqW3FF5mLI9s43d2GDB01WvvogBewC KMphStf5YVIIFyhZrJtboS6BqwClPa/S4u5C6iOMIMRM/CdkTNrGgk+OiZ8OEi9wCARfV0XZ P93jO72XCpHU/U3pNZIb7tAjeRDKt8CKZP7HMinlXxLIJKRY3maTbptDbd9RrFR0U9wmy2Mq 4w3H5LSlX13CbSiCgGKr9N7BQ1VdRATW8qqw+QJLbXrClQ9SAkc5wr5m+xJl3pNxPQLyI8lP xiVBidl9bYIrSSccVnWNyk6OOmHsFQWhStTABHA9G2AgxALCbtDJo9GH3fuVeh8rL5Q3rRvQ uMbes6NJP1KR36Vs34edJTx5sgqPhiimQvEbWLvbSkdbqxQYVXD2ublWQ/zqwgILC687vUlr 5Oaiwj0fJskRiZZNvjwVs6B9V2LgCUiqLpAZHeQeth3U2fwwbduMB3036MWIdlTCBDtxQm69 gexADUer9bju4UerdvD3/iFi6yLEOJOOFVQMEeGzLSxNAjcpnGCx60ZWsm2XDntbkHG04T8W vd0ltbXL+8isGtRlbZFA5JH7P4b9sT+gb131SFmFyj7VEuqAbZePXW258lDmalTzLt/uwHte Eaw1vRFGLeOKuX3OUUwIVc7U+G9yv0koDnewvArKkHc5iUs3r6mU11XDiacmh5mM7p5H4M08 9gP4PdMxVSEtSMrFdKaggR/1WeGdCUAWpp6kKAqOtbgjw5zx2xSZZDZNDTN36iOTNdyY20KO T6fgZTQi4tMnnTid2UBLlmT/O5/q6lXhjV04g4jHWmZovvEmf494zNJ+xsVUAl+70tKwsBzC EdRJmx3IqSEwBlwjuMaBGqQNh1zBiTA3kn91VFTmHbrdBSqXDaVLUkWG+WEzGYG+U1yIxlZ+ 7C5zj7+cDDIJcve4Ao7aXRHmdfCE+Nj0xLkmd+2OfiFE70RQyvXsoX3aUUm8xLYUN4M3mvZr uxUzcNMQKzcNx9IhZYkCoOfhI8ieDrdKENsGfherb40R0fCczSP2B+LGUC7WuVJA9foqUaYK chfFvhjZiSE9hSlj24kXPYXArpOgvQWysIIeerrKU44orKvlGdVn6yKxBfupl0AYotIoZ4mJ 5LzZgCyNDWapUFpll/nqOhGPWuFYuc4WjDs4dDt8Mg0E8MsjeI9V2Azzbq+gFuNOiRF4R+/n V3Odo3W/cNY2KVumIreSPxDDjqrNOKpBfip8R+ygftKf9jgIcfDjCJLi1jFbiB9H6odZMRzr puJ6OXI5ULiuK0ndVzWgLyTPvBtyfjqedFII+XbCWJ/nxqSfOPNuDw9o3uZL75Nm/NjvviXf ROyMpaMRIRESuVjy21wQAkANgQWFIDcTLrq/AG5pNSyUikt6xTNdo6bxCW4fFNgV3E6PrPlA VXJoNeo3NdTqbpMCDIiB/1LB5xZIkfpaZA5du/e5CWpMW21vmys4rfStwIsyTXuOEm2FMzX5 ZHkRB+neirr6euMhJtcvpdptxIaMGdljKNiNggB8tpxkHahAHRAMe0ZNo4cB4pJljDpkqv1f yzJcHBoHBCVse6oqvkgyI+Lssaj6u0y1hPRIzUo+waLbn7zCt/dRrRm8Shk7jF9fT6LICRL7 z0B0iWYA/Rz6sgBqSUvCjiTjuJux/eczXUNkaw4u9KnGA4QWN3my1Q4dDeglkX7/wXlm0DCJ GxzTmdBKK1+pYgdDu44E0No9NolUP8DAtnmgepjADoShmlD8NB99Q==
- Ironport-hdrordr: A9a23:bwR3MalC3R8CG0+zBHIcQkdJM53pDfIb3DAbv31ZSRFFG/Fw5P re+8jzsiWE8gr5OUtQ4uxoXZPrfZqyz+8W3WB8B8baYOCEghrMEGgB1/qA/9SIIUSXnY5gPM 9bEpSWY+eAdWSS4/yKhjVQX+xQpOVvM5rFuQ4d9RpQpM1RBJ2IJj0WNjqm
- Ironport-phdr: A9a23:UiIvFx14oUAx21oGsmDOIg4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaCo6wy1xSVAs3y0LFttan/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+5DfeRhEiTizbL99I xi7rxjau9ULj4dlNqs+xRzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVRnlgzoFOTEk6mHaks9+gqxUrx2vuRJxw5Pab52aOvdlYqPQf8kXSXZdUstfVSFMBJ63Y YsVD+oGOOZVt47zp1oSohu+GwasAP7kxDlWiX/o3awxzuMsEQTH3AM8H9IBrnDUoM/xNKgMT +C0zLTEwDHMYv5Vwjr9543IfQogofGIR75/bc3RyUw2Gg7Dk16fppDrMSmP2eQRr2iU8fBgV eS3hmM6tw19vjyiy8kwhoTJiYwbxU7J+Ct2zYs3JNC1SE52bN2rHZZetCyXK4p7TM0hTmxmp io0xKAKtYOlcSQUy5kqwQPUZfKAc4iN+B3jVeCRLC92hHJ/Zr2wmQy+8Ua6yuD6S8K6005Ko zJbntXQsn0BzR/e58idRvdg4Eus2iyD2g/T5+1cP0w7j7bXJ4Mkz7EuipYcq0HOEyv5lUrsi aKbeF4r9fW05+nibbjrp5uRN4Fxhwz6Kasjm9GwDOEkPQUMX2Wb9+Gx2b758kHnXrlHiOA9n LPDv5DAP8sbo7a0Aw9L3YYn7BayFzKm384ZnXkDNV5EdheHg5XwN1HAL/31De2zg1urkDdsy PDGOqPuDo/RIXjElbftZbd960hCxwov1d1T+Y5YB7UbLP/wWkL9rsHUAgE6PgCuzOvqCM1x1 oYEVmKOBq+ZPrnSsViN5u83JumMZZMauDbjJPgh/fLuiWE2mUEdfKW02ZYaZ3O1E+9pI0Wce 3Xsg9MBHX0WsQo5SezmkFuCXiVLaHaoQ608/i07CJ6hDYrbW4yhmKaB0zujHp1KemBGDUiBH mvvd4WdQvsDdCaSItJ6nTEfTrigS4oh1Qm0uwPgyrpnKPDU+iwCup752th1/b6bqRZn/jttS s+ZzmulTmdun2pOSSVl8rp4pBlYy1yD3Kwwp/FGBJQH4vJCUgo+c5rR0f0jWoyicg3Ed9aND l2hR4P1UnkKUtstzopWMA5GENK4g0Wbt8LLK7oclrjRQYcx7rqZxX/6YcB013fB0qAlyVggW MpGc2O81eZk7waGIYnPng2CkrqyM7wG1XvI9WyDwG7IuExGQVchDfXtUnUWZ0+QptP8tQvZV 7H7Mb08KUNazNKabK5Da9nnl1JDEfLiM9TTZyS1lnmhXEfUlpuDaYPrfyMW2yCOQFMcnVU1+ nCLfRM7Gj/no2/aC2l2EknzZkr37eRkgHayT0tx0ATTKkM9ivy6/RkagfHaQPQWtl4dkAEmr Tg8XFO03taMTsGFuxIkZqJXJ9U0/FZA02vd8Q17JJ2paa541BYYdExsskXi2g8SaM0ImNU2r H4s0At5KL6JmFJHeTSC2JnsO7rRYmDs9RGrYqTS1xnQytGTsqsI7f05rR3ksmTLXgIn8n5n3 t0T13aC98ybUFo6Xpf4U0Jx/B9/5vnbbiQ7+4LIxCh0K6Dn112Kk9ktBeYj1lOhZ4IFaPLCR FK0SpdKQZTze4lI0xCzYxkJPf5f7vsxNsKiLb6d3bKzefxnl3SghHhG54Z01gSN8TB9Q6jGx cVgobnQ0w2ZWjP7lFrkvNrwnNUOYDAZHme7jyzpGp8IN/EiVYkOAGaqZcaww58t4vylE24d7 1OlC14cjYWseBGSYli72QBOxB1G/SyPli6xzjgymDYs5Pn6vmSG06HpcxwJPXROTW9pgAL3I IS6uNsdWVChcwkjkBbNCV/S/6FAv+w/KmDSRR0NZC3qNyR4VaD2sLOeYslJ4ZdusCNNUe36b 0rIArL6phIb1WvkEQ48jHg+djqqt5G/mxFkmTvMcCZbo3/QeMU2zhDarNDRXv9e2DMaSTIw0 2GGQAjheYDzrZPIyt/KqYXcHyq5W4dWcDX3wI/Irya96WBwQFW+k/21htz7AF0/2C7/2cNtU HaApxL9b4/3kqWiZLg/Lw84WRmlsZo8Rtwt9+l4zIsd0nUbmJiPqH8OkGOpdM5exbq7dn0GA zgC39/S5gHhnkxlNHOAgYzjBRD/ioNsYce3ZmQO12cz9cdPXe2R7bdEkC8zplemvFuAPahVk TIUyP9o43kfybJs2kJl3mCGD7YeEFMNdyntnBSF65a6obtGPTfzIZC/0UN/mZaqC7TI8WQ+E D7pP5wlGyF39MB2NlnBhWby5o/Tc97VddsPtxeQnkSIn61PJZk2jPZPmTt/NDe3oyg+0+Bix 08Lv9nyrM2dJm5q5q78HhNIKmi/eZYI4j+0xadGwpTNgsb2T80nQGlUGsOvF67gESpO56q7c VzVS3tl9C/dQf2GTGr9oA9nty6dTc7tbinNYiFflZI4HFGcPBAN3l5SBmlr2M5hUFjtnpSpc V8ltG9LoAek7EIdkKQwcECvNwWX7AawNmVrFN7GdkcQtkcaoB6Lec2GsrAqR3Eep8L+6lzLc ivBPkxJFT1bAxPfQQmyYv/2o4GHqrb9ZKL2LuOSM+/W+KoOCrHRn8Lpisw/oH6NLpndZCA8S aBrnBMSBzYhXJ2I0zQXF35NznyLNZXK4kzmvHUw95HakryjTgvr4cHn56J6F9Jp9lj2hK6CM 7TVnyNlMXNC0ZhKw3bUyb8Z1VpUiid0djDrH65S/SjKBLndnKNaFXt5I2t6KddI4qQg3wJMJ d+Ti9X70aR9h+I0DFENXELom8Wgb8gHa2+nM1aPCEGOPbWAbTrFpqO/Kbu7UqFVhf5IugeYv D+aFwr8O23GmWW0ER+oNu5IgWeQOxkf8ICxfxBxCHTyGdLrbhroVb0/xTYywLAymjbLLTtGa Wk6Ix4L9+fAq38F0ZAdUyRb43FoLPeJgXOc5ujccNMNtOdzRz5znKRc6Wg7zL1c6GdFQuZ0k W3ctI0LwRnun++Rxz5gSBcLpCxMgdfBuERpOajdsJ1NR2edrU5dxWqVAhUO4dBiD5e83sIYg siKj6/1JDpYppjM+tAAAsHPNM+dGH8oMB6sBzuNSQVZEHikMmbQg0Ebm/aXvC7wzNByut3nn 5wATaVeXVo+G6YBC0hrK9cFJY9+QjIulbPzZC8g4HO/qFzOQZwfsMyaEP2VBvrrJXCSirwWP 3PgLpv3KI0SMsvw3EkwMzGSeazFHkPRWZZGpSgzNmcJ
- Ironport-sdr: 63f21e83_LJMPFayVANFc6FPTrdE78up3ofC1PF9Pfz0td46AO9DPQg2 GncC80X3yPyjl+fegIJQ8PVtvMx2nQeCpdIgAFg==
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 ?
--
mail : michel.levy1948 AT gmail.com
mobile : 06 59 13 42 53
web : http ://michel.levy.imag.free.fr
- [Coq-Club] character pipe in a comment, Michel Levy, 02/19/2023
- Re: [Coq-Club] character pipe in a comment, Gaëtan Gilbert, 02/19/2023
- Re: [Coq-Club] character pipe in a comment, Stefan Monnier, 02/19/2023
Archive powered by MHonArc 2.6.19+.