{"action":"created","issue":{"url":"https://api.github.com/repos/lpw25/doc-ock/issues/59","labels_url":"https://api.github.com/repos/lpw25/doc-ock/issues/59/labels{/name}","comments_url":"https://api.github.com/repos/lpw25/doc-ock/issues/59/comments","events_url":"https://api.github.com/repos/lpw25/doc-ock/issues/59/events","html_url":"https://github.com/lpw25/doc-ock/issues/59","id":105132320,"number":59,"title":"Module inclusion of nested modules with included parents in cmt triggers assertion","user":{"login":"dsheets","id":59918,"avatar_url":"https://avatars.githubusercontent.com/u/59918?v=3","gravatar_id":"","url":"https://api.github.com/users/dsheets","html_url":"https://github.com/dsheets","followers_url":"https://api.github.com/users/dsheets/followers","following_url":"https://api.github.com/users/dsheets/following{/other_user}","gists_url":"https://api.github.com/users/dsheets/gists{/gist_id}","starred_url":"https://api.github.com/users/dsheets/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dsheets/subscriptions","organizations_url":"https://api.github.com/users/dsheets/orgs","repos_url":"https://api.github.com/users/dsheets/repos","events_url":"https://api.github.com/users/dsheets/events{/privacy}","received_events_url":"https://api.github.com/users/dsheets/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-09-07T02:04:12Z","updated_at":"2015-09-07T02:06:42Z","closed_at":null,"body":"Parsing the `cmt` from:\r\n```ocaml\r\nmodule B = struct\r\n  include Bigarray\r\nend\r\ninclude B.Array1\r\n```\r\nresults in\r\n```\r\ninternal error, uncaught exception:\r\nFile \"_build/lib-doc-ock/docOckCmi.cml-native\", line 791, characters 21-27: Assertion failed\r\nRaised at file \"_build/lib-doc-ock/docOckCmi.cml-native\", line 791, characters 21-33\r\nCalled from file \"_build/lib-doc-ock/docOckCmt.cml-native\", line 427, characters 13-56\r\nCalled from file \"_build/lib-doc-ock/docOckCmt.cml-native\", line 412, characters 17-47\r\nCalled from file \"_build/lib-doc-ock/docOckCmt.cml-native\", line 435, characters 25-62\r\nCalled from file \"list.ml\", line 84, characters 24-34\r\nCalled from file \"_build/lib-doc-ock/docOckCmt.cml-native\", line 433, characters 4-136\r\nCalled from file \"_build/lib-doc-ock/docOckCmt.cml-native\", line 443, characters 14-46\r\nCalled from file \"_build/lib-doc-ock/docOck.cml-native\", line 140, characters 31-75\r\nCalled from file \"_build/bin-codoc/codocCliExtract.ml\", line 57, characters 12-30\r\nCalled from file \"_build/bin-codoc/codocCliExtract.ml\", line 141, characters 8-52\r\nCalled from file \"_build/bin-codoc/codocCliExtract.ml\", line 177, characters 6-64\r\n```\r\n\r\nIt appears to be the case that include declarations can have aliased module types.\r\n\r\nThis does not occur with `cmi` or `cmti`."},"comment":{"url":"https://api.github.com/repos/lpw25/doc-ock/issues/comments/138157642","html_url":"https://github.com/lpw25/doc-ock/issues/59#issuecomment-138157642","issue_url":"https://api.github.com/repos/lpw25/doc-ock/issues/59","id":138157642,"user":{"login":"dsheets","id":59918,"avatar_url":"https://avatars.githubusercontent.com/u/59918?v=3","gravatar_id":"","url":"https://api.github.com/users/dsheets","html_url":"https://github.com/dsheets","followers_url":"https://api.github.com/users/dsheets/followers","following_url":"https://api.github.com/users/dsheets/following{/other_user}","gists_url":"https://api.github.com/users/dsheets/gists{/gist_id}","starred_url":"https://api.github.com/users/dsheets/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dsheets/subscriptions","organizations_url":"https://api.github.com/users/dsheets/orgs","repos_url":"https://api.github.com/users/dsheets/repos","events_url":"https://api.github.com/users/dsheets/events{/privacy}","received_events_url":"https://api.github.com/users/dsheets/received_events","type":"User","site_admin":false},"created_at":"2015-09-07T02:06:42Z","updated_at":"2015-09-07T02:06:42Z","body":"This is the most severe issue of know of right now as it prevents the extraction of `std_internal.cmt` from `core_kernel`."}}