{"action":"opened","issue":{"url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/417","repository_url":"https://api.github.com/repos/dhall-lang/dhall-haskell","labels_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/417/labels{/name}","comments_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/417/comments","events_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/417/events","html_url":"https://github.com/dhall-lang/dhall-haskell/issues/417","id":328252385,"node_id":"MDU6SXNzdWUzMjgyNTIzODU=","number":417,"title":"dhall should not allow fields with the same name in records","user":{"login":"jneira","id":54035,"node_id":"MDQ6VXNlcjU0MDM1","avatar_url":"https://avatars1.githubusercontent.com/u/54035?v=4","gravatar_id":"","url":"https://api.github.com/users/jneira","html_url":"https://github.com/jneira","followers_url":"https://api.github.com/users/jneira/followers","following_url":"https://api.github.com/users/jneira/following{/other_user}","gists_url":"https://api.github.com/users/jneira/gists{/gist_id}","starred_url":"https://api.github.com/users/jneira/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jneira/subscriptions","organizations_url":"https://api.github.com/users/jneira/orgs","repos_url":"https://api.github.com/users/jneira/repos","events_url":"https://api.github.com/users/jneira/events{/privacy}","received_events_url":"https://api.github.com/users/jneira/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-05-31T18:41:29Z","updated_at":"2018-05-31T18:41:29Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"* Actually dhall let you write records with fields sharing the same name:\r\n```\r\n>echo { a=1, a=2 } | dhall\r\n{ a : Natural }\r\n\r\n{ a = 2 }\r\n```\r\n* Same for record types:\r\n```\r\n>echo { a : Natural, a : Integer } | dhall\r\nType\r\n\r\n{ a : Integer }\r\n```\r\n"}}
{"actor":{"display_login":"jneira"}}