{"action":"created","issue":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1334","repository_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell","labels_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1334/labels{/name}","comments_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1334/comments","events_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1334/events","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/1334","id":332569106,"node_id":"MDU6SXNzdWUzMzI1NjkxMDY=","number":1334,"title":"Safe Data.Sequence code reported as unsafe","user":{"login":"snap9","id":9166683,"node_id":"MDQ6VXNlcjkxNjY2ODM=","avatar_url":"https://avatars2.githubusercontent.com/u/9166683?v=4","gravatar_id":"","url":"https://api.github.com/users/snap9","html_url":"https://github.com/snap9","followers_url":"https://api.github.com/users/snap9/followers","following_url":"https://api.github.com/users/snap9/following{/other_user}","gists_url":"https://api.github.com/users/snap9/gists{/gist_id}","starred_url":"https://api.github.com/users/snap9/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/snap9/subscriptions","organizations_url":"https://api.github.com/users/snap9/orgs","repos_url":"https://api.github.com/users/snap9/repos","events_url":"https://api.github.com/users/snap9/events{/privacy}","received_events_url":"https://api.github.com/users/snap9/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-06-14T21:22:02Z","updated_at":"2018-06-14T22:02:25Z","closed_at":null,"author_association":"NONE","body":"Either a sequence is empty or it isn't. Both cases are covered in\r\n\r\n    import Data.Sequence (Seq((:<|), Empty))\r\n    foo :: Seq a -> Bool\r\n    foo Empty = True\r\n    foo (_ :<| _) = True\r\n\r\nyet LiquidHaskell doesn't like it.\r\n\r\nDemo: http://goto.ucsd.edu:8090/index.html#?demo=permalink%2F1529011239_26561.hs"},"comment":{"url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/comments/397452117","html_url":"https://github.com/ucsd-progsys/liquidhaskell/issues/1334#issuecomment-397452117","issue_url":"https://api.github.com/repos/ucsd-progsys/liquidhaskell/issues/1334","id":397452117,"node_id":"MDEyOklzc3VlQ29tbWVudDM5NzQ1MjExNw==","user":{"login":"vimuel","id":17603372,"node_id":"MDQ6VXNlcjE3NjAzMzcy","avatar_url":"https://avatars1.githubusercontent.com/u/17603372?v=4","gravatar_id":"","url":"https://api.github.com/users/vimuel","html_url":"https://github.com/vimuel","followers_url":"https://api.github.com/users/vimuel/followers","following_url":"https://api.github.com/users/vimuel/following{/other_user}","gists_url":"https://api.github.com/users/vimuel/gists{/gist_id}","starred_url":"https://api.github.com/users/vimuel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vimuel/subscriptions","organizations_url":"https://api.github.com/users/vimuel/orgs","repos_url":"https://api.github.com/users/vimuel/repos","events_url":"https://api.github.com/users/vimuel/events{/privacy}","received_events_url":"https://api.github.com/users/vimuel/received_events","type":"User","site_admin":false},"created_at":"2018-06-14T22:02:25Z","updated_at":"2018-06-14T22:02:25Z","author_association":"NONE","body":"@snap9 Maybe this is to do with pattern synonyms? (I can't check right now.)"}}
{"actor":{"display_login":"vimuel"}}