coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Chris Dams <chris.dams.nl AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade
- Date: Sun, 23 Jan 2022 21:49:04 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chris.dams.nl AT gmail.com; spf=Pass smtp.mailfrom=chris.dams.nl AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f171.google.com
- Ironport-data: A9a23:SRUumKK4JyAI9M5/FE+R5pMlxSXFcZb7ZxGr2PjKsXjdYENS1jJRz WYcW2nVbPzbZzekLopyOY/n9R4E68Tcz9RjGQMd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0Iz8wIFqtQw24LhWlnW4 YqaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhk/8g9 ttw6KyJTyxqL+7duu05Dih1DHQrVUFG0OevzXmXtMWSywjfcCKpzawxVQc5OooX/usxCmZLn RAaAGpVP1bT2qTsmuj9E7Y17iggBJGD0Ic3sXF6zCqfAf8jWtbFR43F4NZZ2HE7gcUm8fP2P JpFOWM0PXwsZTVSEEUROoMUgNuVoSmufjJYhmiou6wotj27IAtZieCxarI5YOeiTsJM202cu 2ju5HX8GhhcNdqFyDPD/GjEuwPUtSbyWYZXDb7hs/Az3wTVyWsUBxkbE1C8pJFVl3JSRfpTB B0q9BdznZE03w+6DcjfVjnlkVOb60t0t8VrL8U27wSEy6zx6gmfB3QZQjMpVDDAnJ9nLdDN/ g/Z9+4FFQCDo5XOFi3Arub8QSeafHlKfTVbNEfoWCNcu4G7yLzfmC4jWTqKLUJYptj8GDW12 jPT6SZn2OxVgskM2KG2u1vAhlpAR6QlrCZlu207vUr/tmuVgbJJgaT2sDA3Ct4ede6koqGp5 iRspiRnxLlm4WuxvCKMWv4RO7qi+uyINjbR6XY2QcV7p2vzoSb7INgIiN2bGKuPGpZVEdMOS B+D0T69GLcOVJdXRfMtOtnpUpxCIVbIT42/Ca28giVyjmhZLVfbpkmClGaf2GfilEVErE3ME cbzTCpYNl5DUf4P5GPuGY81iOZzrghnnD+7bc2lk3yPjOXGDFbIGO9tGAbfNYgRsfLUyDg5B v4Ea6NmPT0EDbWiCsQWmKZPRW03wY8TXMCv9JcPJ7fde2KL2ggJUpfs/F/oQKQ994w9qwsC1 ijVtpZwxAWtiHvZBx+Nb3w/OrrjUYwu/30+NC0oe12v3iF7M4qo6a4ecboxfKUmpLQzl64qE 6FddpXSGOlLRxTG5y8ZMsvwoYlkQxKh2lCDMi+jVz4gcsMyXAfO4NLlIlDi+XBWXCq6vMczu ZO60QbfTcZRTghuFpeEZ/emzlf3tn8YwbogU0zNK9hVWUPt7Ik6c3yr3qFre5kBcEyRyCGb2 gCaBQYjidPM+4JlosPUga2krpuyF7QsE0dfGV7d5+nkOCTf+F2l3tYcAuuFeDbqVFT09r+nU uNbwqyuK/YAhltL79NxHrs3n6Iz49zj++1Twgh+RimZal2qDvZ5ISDD05AQ7+tCwbhWvQbwU UWKo4EINbKMMcLjMVgQOAt1MbjZhK9MwmHfvaYvPUH3xC5r577bA09cCB+B1X5GJ7xvPYJ5n Oos5JwM5wqkhkZ4O9qKlHoIpWGFL3hFSqZ+859DX9athQ0sxVVPJ5fbD3ausp2IbtxNNGgsI yOV1PWe3eUCnhKafiphD2XJ0MpcmY8K5EJAwmgEKgnbgdHCnPI2gEBc/Dlfot65FfmbPz+f+ 1SHNnGZ4Y2L9jZswdFABiWiQl4YQhKe/UP1xh0Ck2ixo4xEkIDSBDVVBApP1BlxH6Fgkvxz8 7SRyWKjWjHvFC009jVnQlZr8pQPUvQonjAvW6mb8wCtEJwzYD6jiairDYbNR90LHutp7HD6S SJWECqcpEE12eP8Y0H2NmVC6YktdQ==
- Ironport-hdrordr: A9a23:P1rf8K6xibWCuE/LrQPXwMXXdLJyesId70hD6qkRc20zTiX8ra qTdZsgpHzJYVoqOE3I+urgBEDjewK/yXcd2+B4VotKNzOW3VdAQrsSibcKAAeNJ8Q9zINgPG tbHJSWweefMWRH
- Ironport-phdr: A9a23:SscTyhB0fZ7OwItwBMkbUyQUdkkY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua83ygWQFtyHo7Ic0qyK6fmmATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba1sI Bmsswndq8YajZZtJ60szhfFvmZEd/5ZyG92OF6fhQrw6tu18JV+7ylepvUt+tJaX67nZao4V 7tYDDonM2Ax+sLmsATIQBWM6HUBTGgYiwJEDAfZ4h70WJfxqTb6ufFm2CaGJ832TKs7Viqk4 qx2VRLnkiYHNzo+8GHKlsx9ib9QrRy9qxBjxYPffYeYP+d8cKzAZ9MXXWVOUMZfWSJCH42yc ZcAAvEdPepEtYTxu0cCoQe8CASqGejhyiVIhnjz3aAizekhERvG3A07H9kTvnrbttD1NLwPW u2y0KbIzS/Db/JN2Tvn9YfHaBUhoeqWUbJ2dcrc0kYvFwbfgVWRrYzpJS+a1uMIs2WC6edrS O2ghXI9pQ5rvjiv2tkjipPPho8NyF3J8Tt0zYc6K9O3RkB2YsCpHIVMui2EOYZ7XsMvTmN1t Sg1xbMItp61cicXxJko2hPSafKKfoqV7xzsSuqdPTF1j29mdrKnnxu+71Ssx+nmWsS30FtGt DRJnsfSunwXyhDe6NWLR/1g9Um7wzmPzRrc6uRcLEA0i6XbL5khz6Y1lpUJsETDGjb6mFz1j KOLb0kk9PWk5ub6brn8qZ+cMIh0ig76MqswgMCwHeM4Mg0WU2ia/+SzyqHj8FXnTLlWivA6i KrUvZDAKcgFuKK1HRVZ3psh5hqiFzum1c4XnXgDLFJLYhKHiI3pNknSL/D4F/e/gk+snC12y P/cO73hGY/BLn7HkLr6crZ97lRTyAs3zdxF+51UDbQBLOrpWkDtrNzYEgM5Mwuszun7D9V9z 5oSVn6LAq+EK6zfqkSI5+IqI+mUfoAZojf9K/4/5/7vl3A1g1EdfbP6lacQPXu/B7FtJ1iTK S7nhc5EGmMXtCI/SvbrgRuMS2gASWy1WvcX5is6E8qKBILYDtSmgKaAx2G3F5hNIGZCIl+JG HbsMY6DXqFfO2qpPsZ9n2lcBvCaQIg72ET23Oeb479uL+6PvzYdqYqmz99toevaiRA18zVwS cWbyWCECW9uzSsTXzFj+qd5rARmz0ubl7BiiqlTFcZS/LVFWwIhc5jY5+N/AtH2HAnGe4TBU 06oF+2vGip5Vdct25kLakd5Fc+li0XI3zCrGPkZnrmQQpow2q3Z1nn1Yc16ziWOz7Ev2n8hR MYHLmi6nuh/+gzUUpbOiFmcnr22eL402SfM8CKazjPLshgHCUh/VqLKWX1ZbUzTxTjgzmXFS bLmSbEuMw8ajNWHNrMPcdrxy1NPWPbkPt3aJWO3gWa5QxiSlPuKa8LxdmMR0T+4agBMmh0P/ XuAKQk1Bzuw62PYAjt0EFvzYkTqueBgoXK/R0UwwkmEdUpkn7ay/xcUg7SbRZZxlvoPuD0gs HN4FVOmmdTSI9WFrgtlOq5bZJJ14VtK037Yqx0oJoapfMUAzhYVdwV6uV+r1g0iUN0R15h36 ilwlkwrdvvLtTEJPymV1p3xJLDNf2z7/RT0LrXTxkmby9GOvKEG9PU/rVzn+gCvDEsrtXt9g Lw3mzOR4IvHCA0KXNf/SEEyolJxp6vbeW8x7obPk3toGaaxuz7GndkuAaF2r3ToN8caK66CG ALoRocRB9KvM6omkl2yKBQAFO9X/a8wecihcrHVvczjdPYllzWgg2Nd5Yl72U/Z7CtwRNnD2 JMdyu2Z1A+KP9vlpG+oqdu/2YVNZDVJW3G61TChH4lJIKt7YYcMD26qZcyx3NR3wZD3CTZU8 1uqBlVO38HMG1LaZFzn3BYW2U0SujqhnQO3yjV1l3ciqa/X0CHVwuvkfQYKISYRHDgk3Qqqe 9LuyYlFBQChdG1L3FO96Fz/xrRHqag3NGTVTUpSPmD3I2xkTqqsp++Has9L5okvtHYyMqz0a lSbR7jh5hoChnm7Ti0OmXZhLWvs48qgzHkYwCqHIX1+rWTUY5R1zBbbv5nHQOJJmyEBXG9+g CXWAV61O5+o+8+VntHNqLPbNSrpW5tNfC3s1Y7FujG84DggCh2lnuv1ltTiCk481Qf00tBrU WPDqxO2MeyJn+yqdPlqeEVlHgq24MpgG5o4noI1n9cW3VAVg5yU+TwMlmK5YrA5keruKXEKQ zAM2dvc5gPojVZiIny+zIX8TnyBw8FlaoryciYM1yk69cwPFLaM4ekOg35uulTh51G0A7A1j nIHxPAp8nJfn+wZpF9n0HCGGr5LVUhAYX63ylLRvoj49vkIIj7oK+T41VIiz479SuvZ+UcFB i6/ItB7TEoSpo1+KA6ejiO1s9m+PoGWNZVJ7lWVi0uS0bYTcs5g0KpSw3IgYzq1vGV5mbFhy 0Uym8jr5s7fbDw9mcDxSh9Aam+qO4VKoGyr1eAG2Z/Il4G3Qsc4QmVNBcS3C6LuSHVI7LzmL 1rcSWJn7C7KRfyHW1fYsRkDzTqHEoj3ZSvPdT9JkJM7HknbfAsG30gVRGloxMdnUF36gpWwK gEhoWlArl/g9kkWk7wubUKuFDyF4l/vM2ZRKtDXOhNS6ksqC179F8uY46ozGihZ+sbktwmRM imAYBwOC2gVW0uCDlSlP7+05NCG/fLKTuy5Z+DDZ7mDs4k8H7+B2I6v3416/j2NKtTHP39sC Oc+01ZCWnYxEtrQmjEGQSga3yzXaMvTqBC58yxx5sexlZajEBro/peKAqBOPM9H/hm3heKaN LfVin8mcHBX0ZQDwXKOw78anRYThyxoazixAOEAuCrKH8ey0udcCx8WbT82NdMdtfptmFkQf 5SB0JWsiecr65x9Q01IXlHghMyzMMkDImXmcUjCGF7OL7OeYzvC38DwZ6q4D7xWluRd8ROq6 lP5WwfuOCqOkz7xWlWhK+ZJ2WuQPAZfo8exexN2T27nZN3jYxy/dtRwiHdlpN98zmOPLmMaP TVmJglVqaaM6CpDnvhlM2lI734gNOrd3ijAsLCeJZERvv9mRC9zkqgJhRZyg6sQ5yZCSvtvn SLUpdM7uFCqnN6EzT9/WQZPoDJG7GpklUpnMKTdsJJHXCSdlProxWqVAhUO4dBiD4+300ix4 t3Glaa2MTQbttyNopJaCM/TJ8aKdnEmNEixcAM=
- Ironport-sdr: jHFmhQoya9M5qpO7N3wLtlwIFbrb7RIPBFeyoCyLtePWv5iZp89b85vjmN1fr+8nniZYx3o7vf z/uKj/IeDemzDm6ao8bW3qcYvXrAkwtPLzq8rWhOwe63FR0Mnvz2HikonbfTMpfqLMNIDi1hgN QPcKWYVCWeABiNM/0wZejYWHaiXaeFuwgYyAjHJqv+i8AuwhzeNYsElbhSmECEw0DSWsbKw7y/ IKc7b50o0ovWnH1nLxm9xaYUh6kAUM8G/uDMOQuJi5WnsgmLJu8lBFzkCnKhGd396g+RPSytL8 1a4jwUaGK+oRD/u6y554HInH
Dear all,
I upgraded coq today from 8.14.1 to 8.15 using the package manager in
my linux distribution c.q. pacman on archlinux. I ran into some
problems. Fortunately, I could solve most of these myself but I am
still experiencing the problem that the line numbers in the 'Errors'
tab in coqide are wrong now. When one double clicks in the 'Errors'
tab one goes to the line number that is listed in the Error tab but
that is not the line where the error actually occurs. The numbers are
quite badly wrong. E.g., I get a line number 2852 in the 'Errors' tab
when the actual error is on line 1383. Note that the wrong line number
is more than double the actual line number.
Kind Regards,
Chris
- [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade, Chris Dams, 01/23/2022
- Re: [Coq-Club] Line numbers in 'Error' tab in coqide wrong after upgrade, Jim Fehrle, 01/23/2022
Archive powered by MHonArc 2.6.19+.