Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade


Chronological Thread 
  • From: Jim Fehrle <jim.fehrle AT gmail.com>
  • To: Coq Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade
  • Date: Sun, 23 Jan 2022 13:24:28 -0800
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jim.fehrle AT gmail.com; spf=Pass smtp.mailfrom=jim.fehrle AT gmail.com; spf=None smtp.helo=postmaster AT mail-io1-f52.google.com
  • Ironport-data: A9a23:6r3T3qmX4zhLZYBwgcjcQrTo5gygIERdPkR7XQ2eYbSJt1+Wr1Gzt xIYC2qGb/7YYGqhfI13b4i/9EwHupSHyoVgTFZp+yw2RVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvykTres1hlZHWeIcg944f5Ys7N/0t4AbeSRWVvX4 4ur+ZaHYTdJ5hYtWo4qw/LbwP9QlK+q0N8olgRWiSdj4TcyP1FMZH4uDfnZw0nQGuG4LcbmL wr394xVy0uCl/sb5nxJpZ6gGqECaua60QFjERO6UYD66vRJjnRaPqrWqJPwZG8P4whlkeydx /1crbWNZFwjAZHMmbgifzV2HBFHYopJreqvzXiX6aR/zmXDenrohvRpVQQ4YNde9eFwDmVDs /cfLVjhbDjZ37PwkO/9E7cywJl5RCXoFNt3VnVIzzDcS/grQYrHTo3F4NZZ2HE7gcUm8fP2P pVFOGA+M02ojxtnAXA9NrcZkf2SrTrFTxtytW3Shu0K7D2GpOB2+OG1bIC9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUby/r7tk3QfVyWsUBxkbE1C8pJFVl3JSRfpOM 2Up13EkkpQy9RCUYvXTUC2B/1mL60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJ9mLdDN/ g/Z9+4FFQCDo5XOFi3Arub8QSeafHlKfTVbNEfoWCNcu4G7yLzfmC4jWTqKLUJYptj8GDW1w jfT6SZj3fMciskE06j99lfC695NmnQrZl5ljuk0djj+hu+cWGJDT9LzgbQ8xagbRLt1tnHb4 BA5dzG2tYji962lmi2XW/kqF7q0/fuDOzC0qQcxQ8NwqW7zoyb4ItE4DNRCyKFBYpZsldjBM B+7hO+tzMI70IaCMfUuONroU6zGM4C6TI6+Dpg4keaikrAoLFPdlM2fTUGX2G/pnSARfVIXa P+mnTKXJS9CU8xPlWLoL89EiOND7n1gmAv7GM+jpzz6gOL2TCPEEt8tbQreBt3VGYve/205B f4EZ5XUo/ieOcWiChTqHXk7dABTciNjVMmo8qS6tIere2JbJY3oMNeJqZtJRmCvt/09ej7g8 i7vV0lG5kD4gHGbewyGZmoyOrzqVJd763k8OHV0b1qv3nEiZ6ep7bseJ8NnJ+l5qLQ7wK4mV eQBduWBHu9LFWbK9jEbWp/3895veRGtsgSRMnf3ezM4ZZNhG1fE94a8LAvi/SUDFAStss46r +Hy3w/XW8tRSAFrDcKQY/WqlgvjsX8YkeN0fk3JPtgDIBW2oNY2c3T816ZlLdsNJBPPwiqh+ zyXWRpI9/PQp4IV8cXSgf/WooqsFdx4FBUIEmTe64GwKnCGrGeuxIl3UNGIcyrYY2X69fjwf u5S1fz9bKQKkVsW4YpxF7FnkfA369f1/eQIyw1lGDDKaA3uBO46ZHaB2sZLu+tGwboA4Vm6X UeG+997P7SVOZO6TARAelJ9NunTh+sJnjTy7OguJBmo7iFA+rfaA15ZOAOBiXAAIbYpYpkpx /wt5Jwf5wCl0EF4N9+HimVV8D3JICFaFaogsZ4eDcngjQ9ykgNOZpnVCynX5pCTaoUTbhN7f GfM3KeS1a5BwkficmYoESSf1+Rqg5lT6gtBy0UPJgjUl9fI7hPtMMa9LdjqosVpIhR7PyZbP 2FqMwh0IvzL8WoywsdEWG+oFkdKAxjxFokdDbcWvDWxcqVqfjWlwK4B1SKl80UQ8mYadT9el F1d4HiwSi7kJakdwQNrMXOIaJXfoRhZ+QjLmcThFMOAd3X/jfwJnYf2DVc1R9Db7Q/dSaEJS SSGPAq9VEEjCRMtng==
  • Ironport-hdrordr: A9a23:v8J6RKmB/h4vEdh5lHPTU0utdDvpDfIV3DAbv31ZSRFFG/Fw9v re5cjzsCWftN9/YgBEpTntAtjjfZqYz+8X3WBzB9aftWvdyQ+VxehZhOOI/9SjIU3DH4VmpM BdmsZFebvN5JtB4foSIjPULz/t+ra6GWmT69vj8w==
  • Ironport-phdr: A9a23:MhixahN2ovwYdnJEx9sl6nYCBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv68r1gaCBNmTq6odzbaM6ua4AS1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexf61+I A+ooQnMucUanIRvIbs1xhfVv3dEYetbyX11KV6Jgxrw+sK894N//ipNvP4s69ROWrjgcaQiS rxYAjUmM2Qr68DuqBLOUwiB6GYCX2sPihZHDBTL4x/8Xpfqryv1rfF91zWAPc33Vr87RzKv5 Lp2RRDyiScHMzk58HzLisF1kalWrg6tqwB5zoXJe4yeKuZwcb3BctMbXWpBX9heVypdAoOnc oADC/MNMftEo4XholcDqwa1CwuxC+P10jJHiXH20q863eovEg/IwRIuEM4VvXvOsNn4Lr0fX fypwKTKyzjIcvNY2S366IjNah0vpfCMXbdtesTR10YvFxnFjlGOpof4OD6V1OUNs22B4+puS +2vi3QnqwVvrTW0yccsj5PGhoMRylze6Sp5x4M1KMS+RUVmbtGqDIFeuDuGN4tqXMwiWWdot T4mx7AFp5O2eCcHxZUjyhPdd/CKbYaG7xb/WOuNJTp0mHNodby+ihus70Ws1unxW8223VtFo CRIj9bCu20T2hDP7MWMV/hz/l+51DqRywze7vtILEM0mKbBNpIsw789moATvEjdGCL9hV/4g 7WMdko+/+il8+Tnbavipp+bL4J0jxvxMqUqmsCmAOQ4NRUCU3GV+em8yrHv50L5QLJNjv05l qnWrorWKtgcpq68GwNV04Aj5AijDzq+ztgUgX0KIEhGdR+HlYTlJlDDLfHiAfq/nVigiDJry OrHPr3lDJXNNH/DkLL5cLZ/6k5czRA/zd5B6JJUELEBJOz8V1T+tNzdFBA5Mgi0z/z7B9V60 4MSQXiPDbOBMKPOrV+I4foiLPWLZI8MoTryN/wl5+P1gnIigl8cfayp3YMNZ3yiH/RmJV+ZY Xv2jdsbH2cKpFl2cOu/o1qbGRVXenz6C6k7/3QwDJ+sJYbFXIGkxrKbinSVBJpTM0JHDxiiH Hfyc4jMD/UNbWScL897ljEsWr2oSotn3har4lypg4F7J/bZr3VL/ano08J4sqiKzUlaHV1cC s2c1zvIVGRohiYSQDRw2qljoEt7w1PF0K5igvUeG8YAr+hRXFIcMpjRh/d/F8i0QhjIK9WIT RCoT9W8BTwZQdc4wttIaEF4SJ25lh6W5yOxGPcOkqCTQpk986bSxX/0csR8zjDI2ak7i1QOT c5GNGngjal6pEDIH4CctUKfmu6xcLgEmi7A8GDW1W2VoERRSxJ9S43AVHEbI0rR9JH3uxmEQ LipBrAqdABGzKZuM4NsbdvkxRVDTfbnYpHFZn6p3n23DlCOz6+Na4zjfyMc2j/cAQ4KiVJb+ 3HOLgU4Ciq7xgCWRDVzCVLiZV/t+uhiuTu6SEEz1QSDc0xm0fK85BcUgfWWT/5b0KgDvW8tr DB9HVD12NyzaZLIpQtkOqtRYck57X9I0GvYs0p2OZnhZ6Fui1gCchhm6lv03kY/AYFBnM426 XIymVAqeOTIjRUYKW3egMqjX9+fYnP/9x2udaPMj1TX0dLMv7wK9Ox9sVLo+gegCksl9Xxjl dhTyXqVoJvQX29wGdr8VFg68x9iqvTUeC44ssnW1HgqP6S0qDvP890sDeohjB2nep0MVcHMX B+3CMAcC8W0faYoml3vYB8EJuRf3KExNsKiMfCB3eT4WYQo1CLjhmNB7odn10uK/CcpUe/E0 aEOxPSA1xeGXTPx5Lu4mvj+gpsMJTQbH27ljDPhGJYUfKp5O4ACFWapJcSzgNR4nZ/kHXBCp havAFYP2cnhfhT3DRS13wxVk0oaoWajlAO3yjV1l3ciqa/X0CHVwuvkfQYKISYRHDgk3Qqqe NbqyY1AFEGzJxAkjh6k+Vr3y8057OxkIm/fTF0JNyn6Imd+U7eh47+LYspB8pQt4m1cVOWxZ 0zfS6ao+UNLlXO+WTIAmnZmLWLP2N2xhRFxhWODIWwmqXPYfZs13hLD/JnGQvUX2DMaRS5+g D2RB16mPtDv88/H8vWL+u24SW+lUYVeNCfxyobV/im64CtkDB2lm/2bldjuEAx82ij+nYoPN 22AvFPnb4/n2r7ve+Bmew9mCV/m78dSFYR3k492j5YVkyt/5N3d7T8MlmH9Ns9e0KT1YS8WR DIF9NXS5RDsxExpKn/aj5K8THiWxdFtIsWrem5DkDxo9NhEUe3Hid4M1TswuFezqhjdJORwj itIg+V782YU2qkIoFZ/lXjbW+FKWxMEYmq00E7Up9Gm8PcJOCD1KuP2jRQm24jmVeDnwEkUW W6lKMl8W3YotIMndgqLiiW765m4KoeOK4hP51vEy1GYyLINYJMpyqhV32w+ZSSk7Cdjk6li3 XkMldm7pNTVdDkrpfjkREYebnqsOYsS4m2/1P4O2J/JgMb/WM0mQGxDXYO0H6v3S3RL5Kihb 0DWV2RizxXTUbvHQV3FsBYg/y+JSsr7cSnQfSZRzM0+FkPEegoC0EZNDW98xtlgR0ir3JCzK h4noGpKtxij8F0Ujbs5Unu3GnHWoAPiAtstYL6YKhcergRL5kOPdNeb8vo2BSZTuJuosA2KL GWfIQVOF2AAHEKeVRjlOfG16N/M/vL9ZKL2JubSYbiIte1VVuuZjZOp3Ix8+j+QN8KJdnB8B vw/00BHUDh3AcPc0zkITiUWkWrKYav57F+k/TZrq8mk7PnxcAfm5I/KCrwLdNsyoVa5hqCMM +PWjyF8aH5Z2p4K2X7U2e0f0VoV2EQMP3GmFbUNszKITbqFwPcGSU5GLXotao0VtfFZvEEFI 8PQh9Lr26Qti/c0Dw0ATln9goSzYsdMJWihNVTBDULNNbKcJDSNzdukBMH0AbBWkuhQsAW9/ DiBFEq2dDaCkn/nWhC1NexkgySSPRgYs4a4OEUIayCrXJf9Zxu3PcUixyUx2qExj2jWOHQ0N DF9dwZMqeTV434CxPp4HGNF4zxuKuzOyEP7p6HIb50Rt/VsGCF9kelXtW87x7Vi5yZBXPVpm SHWo7aGRnmpl+COznxsVx8c8l6jZaqOtERmfKTer9xOBCyC8xUK4mGdTR8Nook9YjUAk69Vw 9nL0qn0LWUbm+8=
  • Ironport-sdr: 5VBmdTmdgldbOU6V0DxHsO3BOh9jiZt/SzmUFxI1NfqPNo4a9qJFzH+EEfQaDOQIkxNCYTbUmr jVU336U6wgEnU5jMvMXRLgZoSNQCglcf81NYQ9t+39LoUqQuo4hfnUpsPAsBjJbx1Jr0nru9oX Fevd1V4FCJFqgtlmi18AOVGJIaUY8G2ZMbv/IYh8tSVkvU6YPf+x8HuTrkRmNYYOWUvkUlyx/I 7YuPAvG+ManFvzNxveWCl07Uc+eMwCLn1qU8nHKrREUgBIsodSN2AHrS2HTx05rpXPpHg4fbck 0TG37vMxA6qHzWAQBVbOpQcn

Hi Chris,

Would you file an issue that includes instructions on how to reproduce
this and include "cc: @jfehrle" in its description?  It would help if you
can provide an example that's a single file (or maybe two if need be).
Probably not necessary to make them short.

Thanks,

Jim



Archive powered by MHonArc 2.6.19+.

Top of Page