{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/469","repository_url":"https://api.github.com/repos/gap-system/gap","labels_url":"https://api.github.com/repos/gap-system/gap/issues/469/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/469/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/469/events","html_url":"https://github.com/gap-system/gap/pull/469","id":126978080,"number":469,"title":"Change syntax errors/warnings to use FILE:LINE format","user":{"login":"fingolfin","id":241512,"avatar_url":"https://avatars.githubusercontent.com/u/241512?v=3","gravatar_id":"","url":"https://api.github.com/users/fingolfin","html_url":"https://github.com/fingolfin","followers_url":"https://api.github.com/users/fingolfin/followers","following_url":"https://api.github.com/users/fingolfin/following{/other_user}","gists_url":"https://api.github.com/users/fingolfin/gists{/gist_id}","starred_url":"https://api.github.com/users/fingolfin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fingolfin/subscriptions","organizations_url":"https://api.github.com/users/fingolfin/orgs","repos_url":"https://api.github.com/users/fingolfin/repos","events_url":"https://api.github.com/users/fingolfin/events{/privacy}","received_events_url":"https://api.github.com/users/fingolfin/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/gap-system/gap/labels/gapdays2016","name":"gapdays2016","color":"fbca04"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2016-01-15T23:15:06Z","updated_at":"2016-02-18T18:25:35Z","closed_at":"2016-02-18T15:43:45Z","pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/469","html_url":"https://github.com/gap-system/gap/pull/469","diff_url":"https://github.com/gap-system/gap/pull/469.diff","patch_url":"https://github.com/gap-system/gap/pull/469.patch"},"body":"This changes syntax errors and warnings to print slightly differently. Before:\r\n```\r\ngap> Read(\"test.g\");\r\nSyntax error: expression expected in test.g line 1\r\n*1;\r\n^\r\n```\r\n\r\nAfter:\r\n```\r\ngap> Read(\"test.g\");\r\nSyntax error: expression expected in test.g:1\r\n*1;\r\n^\r\ngap>\r\n```\r\n\r\nThe primary reason I'd like to see that is selfish: Such strings are recognized by my terminal, and I can Cmd-click them to open an editor for that file, at the correct line.\r\n\r\nThis format also matches the output of gcc and clang when it comes to errors:\r\n```\r\n~/Projekte/GAP/gap.github (git:mh/syntax-error-lines)$ clang test.c\r\ntest.c:1:2: error: expected identifier or '('\r\n*1;\r\n ^\r\n1 error generated.\r\n~/Projekte/GAP/gap.github (git:mh/syntax-error-lines)$ gcc-5 test.c\r\ntest.c:1:2: error: expected identifier or ‘(’ before numeric constant\r\n *1;\r\n  ^\r\n```\r\nI realize that might be a somewhat bizarre reason, but I thought I could at least try to convince you this is useful ;-).\r\n\r\nOf course, there is a the potential drawback that end users may not understand the new output."},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/185847803","html_url":"https://github.com/gap-system/gap/pull/469#issuecomment-185847803","issue_url":"https://api.github.com/repos/gap-system/gap/issues/469","id":185847803,"user":{"login":"fingolfin","id":241512,"avatar_url":"https://avatars.githubusercontent.com/u/241512?v=3","gravatar_id":"","url":"https://api.github.com/users/fingolfin","html_url":"https://github.com/fingolfin","followers_url":"https://api.github.com/users/fingolfin/followers","following_url":"https://api.github.com/users/fingolfin/following{/other_user}","gists_url":"https://api.github.com/users/fingolfin/gists{/gist_id}","starred_url":"https://api.github.com/users/fingolfin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fingolfin/subscriptions","organizations_url":"https://api.github.com/users/fingolfin/orgs","repos_url":"https://api.github.com/users/fingolfin/repos","events_url":"https://api.github.com/users/fingolfin/events{/privacy}","received_events_url":"https://api.github.com/users/fingolfin/received_events","type":"User","site_admin":false},"created_at":"2016-02-18T18:25:35Z","updated_at":"2016-02-18T18:25:35Z","body":"Aha, it seems @markuspf took care of that in 96c590a3f028b523e01d7284a84523a43f640781 -- thank you!"}}