{"action":"opened","issue":{"url":"https://api.github.com/repos/Zimmi48/bugzilla-test-2/issues/2043","repository_url":"https://api.github.com/repos/Zimmi48/bugzilla-test-2","labels_url":"https://api.github.com/repos/Zimmi48/bugzilla-test-2/issues/2043/labels{/name}","comments_url":"https://api.github.com/repos/Zimmi48/bugzilla-test-2/issues/2043/comments","events_url":"https://api.github.com/repos/Zimmi48/bugzilla-test-2/issues/2043/events","html_url":"https://github.com/Zimmi48/bugzilla-test-2/issues/2043","id":264560229,"number":2043,"title":"Anomaly: assert failure (file \"interp/modintern.ml\", line 82, characters 35-41). Please report.","user":{"login":"Zimmi48","id":1108325,"avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-10-11T12:04:48Z","updated_at":"2017-10-11T12:04:48Z","closed_at":null,"author_association":"OWNER","body":"Note: the issue was created automatically with bugzilla2github tool\n\nOriginal bug ID: BZ#2043\nDate: 2009-02-05 07:12:55 +0100\nFrom: David Nowak &lt;<lyjp749uax5su1q@jetable.com>&gt;\nReported version: 8.2\n\nLast updated: 2009-02-05 11:16:40 +0100\n\n\n### David Nowak &lt;<lyjp749uax5su1q@jetable.com>&gt; on 2009-02-05 07:12:55 +0100\n\nThis is a bug from Coq 8.2 beta3 (Sorry if it is corrected in more recent versions)\n\n$ ls\nImpl.v\tUse.v\n\n$ cat Impl.v\nRequire Import List.\n\nDefinition T := list.\n\n$ cat Use.v\nModule Type SPEC.\n\nParameter T : Type -> Type.\n\nEnd SPEC.\n\nRequire Impl.\n\nModule Import M : SPEC := Impl.\n\n$ coq_makefile *.v > Makefile\n\n$ make\ncoqdep -c -glob -slash -I .  \"Use.v\" > \"Use.v.d\" || ( RV=$?; rm -f \"Use.v.d\"; exit ${RV} )\ncoqdep -c -glob -slash -I .  \"Impl.v\" > \"Impl.v.d\" || ( RV=$?; rm -f \"Impl.v.d\"; exit ${RV} )\ncoqc -dump-glob Impl.glob  -q  -I .    Impl\ncoqc -dump-glob Use.glob  -q  -I .    Use\nError while reading ./Use.v:File \"./Use.v\", line 9, characters 0-31:\nAnomaly: assert failure\n(file \"interp/modintern.ml\", line 82, characters 35-41). Please report.\nmake: *** [Use.vo] Error 1\n\n\n### Elie Soubiran &lt;<elie.soubiran@gmail.com>&gt; on 2009-02-05 11:14:19 +0100\n\nIt's fixed in more recent version of Coq.\n(cf bug #1990)\n\n\n### Elie Soubiran &lt;<elie.soubiran@gmail.com>&gt; on 2009-02-05 11:16:40 +0100\n\n.\n\n"}}
{"actor":{"display_login":"Zimmi48"}}