{"action":"created","issue":{"url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/251","repository_url":"https://api.github.com/repos/dhall-lang/dhall-haskell","labels_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/251/labels{/name}","comments_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/251/comments","events_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/251/events","html_url":"https://github.com/dhall-lang/dhall-haskell/issues/251","id":294234702,"number":251,"title":"Question about an Invalid input when using a empty list","user":{"login":"PierreR","id":93115,"avatar_url":"https://avatars3.githubusercontent.com/u/93115?v=4","gravatar_id":"","url":"https://api.github.com/users/PierreR","html_url":"https://github.com/PierreR","followers_url":"https://api.github.com/users/PierreR/followers","following_url":"https://api.github.com/users/PierreR/following{/other_user}","gists_url":"https://api.github.com/users/PierreR/gists{/gist_id}","starred_url":"https://api.github.com/users/PierreR/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PierreR/subscriptions","organizations_url":"https://api.github.com/users/PierreR/orgs","repos_url":"https://api.github.com/users/PierreR/repos","events_url":"https://api.github.com/users/PierreR/events{/privacy}","received_events_url":"https://api.github.com/users/PierreR/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-02-04T21:55:42Z","updated_at":"2018-02-04T21:57:27Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"This is probably silly but I don't see why the following fails:\r\n```\r\nλ  ~/tmp → dhall                                                                                                                                                                                                                           \r\n{ test = [ ] } : { test : List Text}\r\n<Ctrl-D>\r\n\r\nError: Invalid input\r\n\r\n(stdin):1:12: error: expected: expression,\r\n    whitespace\r\n```"},"comment":{"url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/comments/362943340","html_url":"https://github.com/dhall-lang/dhall-haskell/issues/251#issuecomment-362943340","issue_url":"https://api.github.com/repos/dhall-lang/dhall-haskell/issues/251","id":362943340,"user":{"login":"ocharles","id":20878,"avatar_url":"https://avatars2.githubusercontent.com/u/20878?v=4","gravatar_id":"","url":"https://api.github.com/users/ocharles","html_url":"https://github.com/ocharles","followers_url":"https://api.github.com/users/ocharles/followers","following_url":"https://api.github.com/users/ocharles/following{/other_user}","gists_url":"https://api.github.com/users/ocharles/gists{/gist_id}","starred_url":"https://api.github.com/users/ocharles/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ocharles/subscriptions","organizations_url":"https://api.github.com/users/ocharles/orgs","repos_url":"https://api.github.com/users/ocharles/repos","events_url":"https://api.github.com/users/ocharles/events{/privacy}","received_events_url":"https://api.github.com/users/ocharles/received_events","type":"User","site_admin":false},"created_at":"2018-02-04T21:57:27Z","updated_at":"2018-02-04T21:57:27Z","author_association":"COLLABORATOR","body":"Empty lists have to be annotated. I think you want\r\n\r\n```\r\n{ test = [] : List Text } : { test : List Text}\r\n```"}}
{"actor":{"display_login":"ocharles"}}