{"action":"created","issue":{"url":"https://api.github.com/repos/heycam/webidl/issues/233","repository_url":"https://api.github.com/repos/heycam/webidl","labels_url":"https://api.github.com/repos/heycam/webidl/issues/233/labels{/name}","comments_url":"https://api.github.com/repos/heycam/webidl/issues/233/comments","events_url":"https://api.github.com/repos/heycam/webidl/issues/233/events","html_url":"https://github.com/heycam/webidl/issues/233","id":188505828,"number":233,"title":"Shepherd: difference between \"record\" and \"record type\"","user":{"login":"annevk","id":1544111,"avatar_url":"https://avatars.githubusercontent.com/u/1544111?v=3","gravatar_id":"","url":"https://api.github.com/users/annevk","html_url":"https://github.com/annevk","followers_url":"https://api.github.com/users/annevk/followers","following_url":"https://api.github.com/users/annevk/following{/other_user}","gists_url":"https://api.github.com/users/annevk/gists{/gist_id}","starred_url":"https://api.github.com/users/annevk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/annevk/subscriptions","organizations_url":"https://api.github.com/users/annevk/orgs","repos_url":"https://api.github.com/users/annevk/repos","events_url":"https://api.github.com/users/annevk/events{/privacy}","received_events_url":"https://api.github.com/users/annevk/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2016-11-10T13:17:15Z","updated_at":"2016-11-14T14:31:59Z","closed_at":null,"body":"I don't understand https://heycam.github.io/webidl/#idl-record. The heading is a dictionary definition (not exported). Then we have record type (exported). Then we have mappings (not exported, for=record).\r\n\r\nWhat is the difference between record and record type? Why is mappings for=record and not for=\"record type\"?\r\n\r\nAnd can we export mappings?\r\n\r\nI was trying to clean up some of this, but got\r\n```\r\nTraceback (most recent call last):\r\n  File \"/usr/local/bin/bikeshed\", line 9, in <module>\r\n    load_entry_point('Bikeshed==0.0.0', 'console_scripts', 'bikeshed')()\r\n  File \"/Users/annevk/GH/bikeshed/bikeshed/__init__.py\", line 196, in main\r\n    doc.preprocess()\r\n  File \"/Users/annevk/GH/bikeshed/bikeshed/__init__.py\", line 590, in preprocess\r\n    highlight.addSyntaxHighlighting(self)\r\n  File \"/Users/annevk/GH/bikeshed/bikeshed/highlight.py\", line 85, in addSyntaxHighlighting\r\n    highlight(el, translateLang(lang))\r\n  File \"/Users/annevk/GH/bikeshed/bikeshed/highlight.py\", line 27, in highlight\r\n    widl = parser.Parser(text, IDLUI())\r\nNameError: global name 'parser' is not defined\r\n```"},"comment":{"url":"https://api.github.com/repos/heycam/webidl/issues/comments/260349558","html_url":"https://github.com/heycam/webidl/issues/233#issuecomment-260349558","issue_url":"https://api.github.com/repos/heycam/webidl/issues/233","id":260349558,"user":{"login":"annevk","id":1544111,"avatar_url":"https://avatars.githubusercontent.com/u/1544111?v=3","gravatar_id":"","url":"https://api.github.com/users/annevk","html_url":"https://github.com/annevk","followers_url":"https://api.github.com/users/annevk/followers","following_url":"https://api.github.com/users/annevk/following{/other_user}","gists_url":"https://api.github.com/users/annevk/gists{/gist_id}","starred_url":"https://api.github.com/users/annevk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/annevk/subscriptions","organizations_url":"https://api.github.com/users/annevk/orgs","repos_url":"https://api.github.com/users/annevk/repos","events_url":"https://api.github.com/users/annevk/events{/privacy}","received_events_url":"https://api.github.com/users/annevk/received_events","type":"User","site_admin":false},"created_at":"2016-11-14T14:31:59Z","updated_at":"2016-11-14T14:31:59Z","body":"https://github.com/whatwg/fetch/pull/412/files \"if _object_ is a record, then for each mapping (_key_, _value_) in _object_\""}}
{"actor":{"display_login":"annevk"}}