{"action":"closed","issue":{"url":"https://api.github.com/repos/agda/agda/issues/2371","repository_url":"https://api.github.com/repos/agda/agda","labels_url":"https://api.github.com/repos/agda/agda/issues/2371/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda/issues/2371/comments","events_url":"https://api.github.com/repos/agda/agda/issues/2371/events","html_url":"https://github.com/agda/agda/issues/2371","id":198194429,"number":2371,"title":"An internal error has occurred. Please report this as a bug.","user":{"login":"subttle","id":536128,"avatar_url":"https://avatars.githubusercontent.com/u/536128?v=3","gravatar_id":"","url":"https://api.github.com/users/subttle","html_url":"https://github.com/subttle","followers_url":"https://api.github.com/users/subttle/followers","following_url":"https://api.github.com/users/subttle/following{/other_user}","gists_url":"https://api.github.com/users/subttle/gists{/gist_id}","starred_url":"https://api.github.com/users/subttle/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/subttle/subscriptions","organizations_url":"https://api.github.com/users/subttle/orgs","repos_url":"https://api.github.com/users/subttle/repos","events_url":"https://api.github.com/users/subttle/events{/privacy}","received_events_url":"https://api.github.com/users/subttle/received_events","type":"User","site_admin":false},"labels":[{"id":245650033,"url":"https://api.github.com/repos/agda/agda/labels/ambiguous-names","name":"ambiguous-names","color":"ededed","default":false},{"id":245647317,"url":"https://api.github.com/repos/agda/agda/labels/bug","name":"bug","color":"fc2929","default":true},{"id":245649251,"url":"https://api.github.com/repos/agda/agda/labels/interaction","name":"interaction","color":"ededed","default":false},{"id":245647532,"url":"https://api.github.com/repos/agda/agda/labels/modules","name":"modules","color":"ededed","default":false},{"id":245648168,"url":"https://api.github.com/repos/agda/agda/labels/scope","name":"scope","color":"ededed","default":false},{"id":245649398,"url":"https://api.github.com/repos/agda/agda/labels/shadowing","name":"shadowing","color":"ededed","default":false}],"state":"closed","locked":false,"assignee":{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars.githubusercontent.com/u/1155218?v=3","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false},"assignees":[{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars.githubusercontent.com/u/1155218?v=3","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/agda/agda/milestones/18","html_url":"https://github.com/agda/agda/milestone/18","labels_url":"https://api.github.com/repos/agda/agda/milestones/18/labels","id":2003446,"number":18,"title":"2.5.3","description":null,"creator":{"login":"UlfNorell","id":447950,"avatar_url":"https://avatars.githubusercontent.com/u/447950?v=3","gravatar_id":"","url":"https://api.github.com/users/UlfNorell","html_url":"https://github.com/UlfNorell","followers_url":"https://api.github.com/users/UlfNorell/followers","following_url":"https://api.github.com/users/UlfNorell/following{/other_user}","gists_url":"https://api.github.com/users/UlfNorell/gists{/gist_id}","starred_url":"https://api.github.com/users/UlfNorell/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/UlfNorell/subscriptions","organizations_url":"https://api.github.com/users/UlfNorell/orgs","repos_url":"https://api.github.com/users/UlfNorell/repos","events_url":"https://api.github.com/users/UlfNorell/events{/privacy}","received_events_url":"https://api.github.com/users/UlfNorell/received_events","type":"User","site_admin":false},"open_issues":24,"closed_issues":12,"state":"open","created_at":"2016-09-14T08:32:52Z","updated_at":"2016-12-31T00:26:19Z","due_on":null,"closed_at":null},"comments":2,"created_at":"2016-12-30T21:04:28Z","updated_at":"2016-12-31T00:26:19Z","closed_at":"2016-12-31T00:26:19Z","body":"Good day,\r\n\r\nI have narrowed this error down to being reproducible for me with a 2-line file, test.agda.\r\n```\r\nmodule test  (Σ : Set) where\r\nopen import Data.Product\r\n```\r\nThen asking for the normal form of, for example, `true`, I get the following error:\r\n\r\n> An internal error has occurred. Please report this as a bug.\r\n> \r\n> Location of the error: src/full/Agda/Utils/List.hs:344\r\n\r\nI'm using OS X 10.11.6, Agda 2.5.1.1, and agda-stdlib 0.12. As a work around, I've just renamed the Σ in my project.\r\n\r\nFor quick reference, here is the code being imported.\r\n\r\nhttps://github.com/agda/agda-stdlib/blob/master/src/Data/Product.agda"}}
{"actor":{"display_login":"andreasabel"}}