{"action":"closed","issue":{"url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/2108","repository_url":"https://api.github.com/repos/Zimmi48/bugzilla-test","labels_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/2108/labels{/name}","comments_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/2108/comments","events_url":"https://api.github.com/repos/Zimmi48/bugzilla-test/issues/2108/events","html_url":"https://github.com/Zimmi48/bugzilla-test/issues/2108","id":253084358,"number":2108,"title":"Not_found anomaly when using records and module types.","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":[{"id":676422055,"url":"https://api.github.com/repos/Zimmi48/bugzilla-test/labels/component:%20modules","name":"component: modules","color":"000000","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-08-26T11:06:00Z","updated_at":"2017-08-26T11:06:03Z","closed_at":"2017-08-26T11:06:03Z","body":"Note: the issue was created automatically with bugzilla2github tool\n\n# Bugzilla Bug ID: 2108\nDate: 2009-05-29 18:13:36 +0200\nFrom: Brian Campbell &lt;<Brian.Campbell@ed.ac.uk>&gt;\nTo:   \nCC:   @_herbelin\n\nLast updated: 2010-06-12 18:13:36 +0200\n\n\n## Bugzilla Comment ID: 2928\nDate: 2009-05-29 18:13:36 +0200\nFrom: Brian Campbell &lt;<Brian.Campbell@ed.ac.uk>&gt;\n\nThe following code fails with a Not_found anomaly on trunk and 8.2 branch subversion versions (12153), but worked on 8.1p3 and 8.2 release:\n\nModule Type A.\nRecord t : Set := { something : unit }.\nEnd A.\n\n\nModule Type B.\nDeclare Module BA : A.\nEnd B.\n\n\nModule Type C.\nDeclare Module CA  : A.\nDeclare Module CB : B with Module BA := CA.\nEnd C.\n\n\nModule Type D.\nDeclare Module DA : A.\n(* Next line gives: \"Anomaly: uncaught exception Not_found. Please report.\" *)\nDeclare Module DC : C with Module CA := DA.\nEnd D.\n\n\n## Bugzilla Comment ID: 3452\nDate: 2010-06-12 18:13:36 +0200\nFrom: @_herbelin\n\nApparently fixed in trunk and in branches v8.2 and v8.3.\n\n"}}
{"actor":{"display_login":"Zimmi48"}}