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: Gaëtan Gilbert <gaetan.gilbert AT skyskimmer.net>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] character pipe in a comment
  • Date: Sun, 19 Feb 2023 15:13:01 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=gaetan.gilbert AT skyskimmer.net; spf=Pass smtp.mailfrom=gaetan.gilbert AT skyskimmer.net; spf=None smtp.helo=postmaster AT relay8-d.mail.gandi.net
  • Ironport-data: A9a23:q/SpZqz29Ov/pEBGS4l6t+f/wirEfRIJ4+MujC+fZmUNrF6WrkVSz GsYW2iCPvqMZ2H1KtwgPdy3pxlX68XVxoMwHlFt/1hgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOOU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEALjimEc3l48sfrZ80s15aWq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPw58QxVUhuA7FBxdYnD0tf9 tc4DjwkO0Xra+KemNpXS8F2i8AqPZmuMMUas3Bkiz7QC/onB5bOX80m5/cChWh22ZgIRKaFI ZBBMFKDbzyYC/FLElgeBY43mqGnh331fidEgEmWtLE04m3WwRY31rXxWDbQUoDaHJ0LwRbCz o7A10/lBA8XBOHE8CGuqn6RpeGepTvBCKtHQdVU8dYw0QXMmjFLYPEMbnOwpuD8gUqjUfpEO kkM82wvq7Iz/QqlVLHAswaQunOAtw9MHtYWFuQ77EeCw6zY4kCfC3RsoiN9hMIOqOsHGmUjj mG1xuzZVTJFob6+aVSR3+LBxd+tAhQ9IWgHbC4CaAIK5dj/vY0+5i4jqP4+QcZZafWrQVnNL yC2QDsW2+VD0J5Rv0mv1Qqc2GLzznTcZldtvl2/Y46z0u9uTKCfD7FEBHDB4PJJPdbcQh+Et XkA3ceX6uwPS5eAiERhodnh/pn2uZ5p0xWG2zaD+qXNERzxqhZPmqgMsFlDyL9BaJpsRNMQS Ba7VfltzJFSJmC2SqR8fpi8Dc8npYC5S4u7CayJNoAfOsggHONiwM2ITRDJt4wKuBZ2+ZzTx b/BGSpRJSpDWPQ7pNZIb7ZEgdfHORzSNUuJFMikk0n/uVZvTHGcT7sEeECHdYgEAFCs/m3oH yJkH5LSkX13CbWgCgGOqNJ7BQ1UcRATWM+uw+QJLLLrClQ9QgkJVaSOqY7NjqQ+wsy5YM+To iriMqKZoXKj7UD6xfKiMys7NO+yBM8v9xrW/0UEZD6V5pTqWq73hI93Snf9VeBPGDVLna8kH coWMd6NGOpOQTnh8jEQJ8u15o97eRjhwUrEMyO5aXJtN9RtVi7YyO/CJwHPzSgpCjbolM0cp 7b76BjXb6BeTCtfDeHXSsmV8XWPgVYnltlfYW70M/hIWUC18IFVOy371fA2BMcXKCT8/DiR1 ifIIBE6oePijdIS24DKoaXdr46WDPZMRGRHLUbY8LyzC3H7/3Wi86BEQu2nbTDQb0Kq2aSAN MF+7eDwD+0Dp3lO67FDKrdMybkswvfevJpI511AMFSSSHrzEZJmAH2N/fcXh5133rUD5DeHA BOeyOdVKZCiGZ3DEmdIACEHc+7a9/UfugeK3MQPOE+guRNGpuuWY35zYSuJpjdWdoZuEYUfx uwkhs4axiq/hjcuMfeElipkzHuNHFNRT5QYsowmP6GzhjoJ0l1iZbnuOh3y6ryLaPRONRAkG S/Lpazgg78H+FHOXUBuHlfw3M1cp680hjZ08HE4KW+koOH13s0M4EUJ8BAcbBhk8RFc4uciZ klpLxJUIIuNzRdJhe9CfXKlQAVTDUed5kbO9UotkTDdQ2KJTU3IFnU2YsyWzXAa8kVdXzlVx 66Zw2DbSgTXfNn98y8xeEx9odnhcIBBzRLDk8WZAMi1JZk2Tj77iKuIZ2BTiR/YLe4upU/A/ 89Gwf1RbPDlCCsuvKELMYmW+rAOQhSiJmYZY/VA/rsMLF7MagOJxjmCBECgSPxjf8WQ3xeDN PVvAcZTWzCV9iWE9GkbDJFRBY5Epqci4d5ad477IWIDjaCkkQNol5Dupwzen24gRut8nfktc r3xcy2wKU3OpH92tVKUkux6FDuWXd02ajf4/tiJy8QSNpdasOhTYUA4ibS1mHOOMTpYxRGfv SKdRqnw1eFS755loNLwIJViGg+xF4vSVfuJwi+3od9hfdPCCuaQlgI3+33MHRVaAqsVYPtzz Y+yid/Q2FjUmoo2X0TyuYizJ4MQ6eqcBONoY9/Kdl9Eli68aerQyhok+VHgD6dWkdlYt/KVd yHhZOSeLdcqCspgnltLYC1jEjEYOaT9ToHkgQif9/2sKBws4TbrHeOd103CTD9kL3cTGpjEF AXLle6k5YlYoKRyFRY0PaxaLKEiEmDze5kNVoPXhWCUAFD91xnG8vHnmAE74D7GNmicHYyoq djZTxz5b1KptLuO0NhdtJdoswYKCGpmx9M9ZV8Z58U8ngXS4LTq9gjBGc5u5lBofi3OOFXQf jzJZXpyTCm7WD1FdVPz6dLvX0GZC/Bm1hIV4NA21xv8Vst0LNro7HhdGuNI+HRnYTjiyeSqM 5cY92GY0t2Z3MRyXehKjhCkqb4P+x4Zr07kPWjmkN3pABcbBLgQknpsAGKhkMAB/97lzC32G IT+eYyIrIxXh6I8/QaMtkO5wC0kgQ4=
  • Ironport-hdrordr: A9a23:yhQSKKz7hUDHqqrOFW0aKrPwIb1zdoMgy1knxilNoG9uE/Bw8P re+8jztCWE7Ar5N0tMpTntAtjjfZqYz+8R3WBzB9uftWvd0ldARbsKheDfKn/bak7DH4Vmu5 uIHZIfNDS9NzdHsfo=
  • Ironport-phdr: A9a23:/Bb3fxbrI50oKPFSAsuWzZv/LTEh2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gKPBNqAoKwdw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtIiTanfL9/L hu7oQrQu8ULnIBvNrs/xhzVr3RHfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQ LJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4 btnRAPuhSwaMTMy7WPZhdFqjK9DoxyvqRNwzIDJbo+LOvpwfqHScs8VS2daQsZcVDZMDp+gY 4YBDecMO/tToYnnp1sJqBuzHQiiC/nzzT9UnHD227Ax3eUgEQHCxwMvAcgOsGjJp9jyO6cdS /66zLXSwjXFdf9W1jb96IzTfR8/u/GMQal9cdHSyUgvDAPFjVSQqYngPzyLzOQBqW6b4PR8V e+2jWMstg5+rCS1yMg2lonJmpwaykrC9Shh3Yo7Kt22RVJ7bNK5E5ZdtyCXOpd3T80tXW1kp jg2x78JtJOneCUG1JspyhHQZfGbcoWF/hLuWeiNLTtmmH9oeLSyjAux/0i40uDwSNS43VRQo idHjtXArG0B2h/d58SdVPdx4lqt1DCS3A7J8O5EO1o7la/DJp4h3LEwkp0TvFzZHiDonEX5l q+Xe0Y99ue18ejnZ6/ppp6YN4NuhQHxKKIuldG+AegiNAgBQXSb9fy91L3l40L5XK1HguMrn qTbqpzXJ9gXqrSkDwJW3Isv8QizAyu73NgAmHkINlNFeBaJj4jzPFHOJej1DfiljFuyjDdk3 fbGMqfuApXMKnjMi6nufaxh60NH0wozztBe54lXCrEAJfLzX1H+tMbCAh8/LQO03/7rCNNm2 YwGQ2KAHreZML/OsV+P/u8jPvGAZJUJtzblN/gl+/nugGclll8aZKmlxIcYaHSlHvt9OEiZe nrtgtIZEWgQpAY+TerqiEeDUTFJfXqyUbg8tXkHD9etCp6GTYSwipSA2j26F9tYfDNoEFeJR Fjh9JmNXb8jaSaYL9V92mgLXLW9Qoln2hCqvgLg15J8LfvP+SwdsJ/5kt54+7uAxlkJ6TVoA pHFgCm2RGZukzZQL9dX9KV2oEgmj0yGzbA9mPtAU9pa+/JOVA4+c5/a1e1zTd7oCUraZtncb lGgT529BC0pCMoryooBakthEtPkgRHH1SewH5cOlK2QB50x96/GmX78O5U10G7IgZEolEJuW c5TLSujj697+RLUAtvGmkiFnqDseqUY1iPX6E+YznuVv0BdVQNqF6PIQSNXfVPY+PL+4E6KV LqyEfInPw9GnNaFMbdPY8b1gE9uXvrnMcWOJm73nm6xAVCHz7WAbczsdnl1MDz1Lk8CnkhT+ H+HMVN7HSK9uyfFCyQoE1vzYkTq+O04qXWhT0ZywRvYJ0tmn6G4/BIYn5n+A7saw64EtSE9q j51AEf13tTYDMCFrhZge6MUaM004VNO32bU/wJnOZnoI6dnj18YOwN52iGmnxp+B5lJl44lr XcgwRBuAbmbwUhCdjad0Iq2PLDLayHz8B2pd6/KywTGyt/Fn8VHoP88qljloESoDh94qiohj IETiivHoM+SVVl3M9q5SEs8+hlkqquPZyA849iRznhwKeyvtSeE3ds1BewjwxLmftFFMarCG hWhdq9ST8WoNuEunECkKxweO+UHvqE9Mt+vcb2J2aqhMfx8tCmlnH9E4YV431jK8SdgAL2tv d5N07SD0w2LWi2pxliov9z+n8ZLZDUYE3Cj4TPnFZVSZ6h3cJxND2qyaZ7SpJ02l9vmXHhW8 0SmDlUN1ZqyeBacWFf62BVZyUUdpXHPdTKQ9zVviHlpq6Oe2HeL2OH+bF8cPXYNQmB+jFDqK IzyjtYAXUHuYRJ73Bei4E/7weBcqsEdZyHcSEpUdi6wIGBmWKaqqpKZYN9U65IttChNFuKxf RiWR6X8rB0Tzy74VzEHm3ZkL3fz6s6/xUQjwGuGSRQ75GLUY8Rx2QvS6JTHSPhd0yBHDCh0h D/LB0Statyg/NGajZDG4YXcHyqqUpxedzWuzJvV7nLkozIyR0TvxLbpwoS0dGpymTX23NRrS yjS+RP1Y42wkr+/LfoiZU5wQln198t9HIh61Io2npAZn3YA1fD3tTIKl3n+NdJD1Ofwdn0IE HQEytPJ6Q6j10xnJH+T26riVWSGwcpkYtSgJGUbxmhuiqICQLfR97FCkSZv9xC3pA/NaP47k TYZw/Y09FYBgPASuwsoyyiHRLYfAQMLWE6k3wTN5Ne4oqJNYW+perXlz0tyk+eqC7Saqx1dU nL0Kd8yWDV95cJlPBfQwWX+v8v6LcLIY4tZ5Xj221/QyvJYI5Urmr8WiDp7bCjj6GY9xbdzj AQyj8vj487YcyM0o/L/W08CcWerAqFbsjD10/QExp7PjdylT8UzFj5XDsu6H7X2THoTrai1b V/RVmJk7C7LQvyGTFXYshcDzTqHEoj3ZSvOez9GlZM7FEPbexYY21pcXS1mzMRgSUb1nIq4I B0/uWxWvQSw/RJIzqgA2wDXdGDZqU/obz41TMPaNx9K9kRZ4F+TN8WC7+V1FiUe/5u7rQXLJ HbJLwJPRXoEXECJHTWBdvGn+MXA/u6EB+G/M+qGYLOArvZbXuuJwpTn25Vv/jKFPMGCdnd4C Phz1k1GVHF/U8PX/ldHAzQQjD7IZtWHqQ2U4CBzp9HvtfitXQvu4c2AAr1eMJNp9gz3yaaPO uiMhTpofDZV0pRfoB2AgLMb3VMUl2Rvb2z3SOtG6naLFfKL3PUPVk1+CWs7LsZD4qMi0xMYP MfajoiwzbtklrsuDE8DU1X9m8avbMhMImenNVqBClzYUdbObTDN3czzZruxDLNKi+AB/RK5t CqSFQnsPzCJmiP1fwusIPpPjSSeMQYYvoyhOEUIayCrXJf9Zxu3PcUixyUx2qExj2jWOHQ0K zV4elId67HW6CpZhrNwEmpN7zxjIPXOyEP7p6HIb50Rt/VsGCF9kelXtW87x7Vi5yZBXPVpm SHWo7aGQnm8n+2G22oiXFxLozdPwo2Cu0ljf6PU6ssYMZ4r1AkO/H6TChEPqsEjDNDz6fk4I j3nj6HiMzRD9tfZ540aCtSGcKq6
  • Ironport-sdr: 63f22e6f_/ENVPEeNM5CtOqfUJEipoXO1JQrTcwfhmXgELT3Uc7N9PfA mEn/ncMwPbElpO4E1lODe1JRY8GG09riam+4N6w==

It seems fine on my machine.

Gaëtan Gilbert

On 19/02/2023 14:05, Michel Levy wrote:
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 ?





Archive powered by MHonArc 2.6.19+.

Top of Page