{"action":"closed","issue":{"url":"https://api.github.com/repos/diku-dk/futhark/issues/577","repository_url":"https://api.github.com/repos/diku-dk/futhark","labels_url":"https://api.github.com/repos/diku-dk/futhark/issues/577/labels{/name}","comments_url":"https://api.github.com/repos/diku-dk/futhark/issues/577/comments","events_url":"https://api.github.com/repos/diku-dk/futhark/issues/577/events","html_url":"https://github.com/diku-dk/futhark/issues/577","id":337663414,"node_id":"MDU6SXNzdWUzMzc2NjM0MTQ=","number":577,"title":"Permit lifted abstract types in module types","user":{"login":"Athas","id":55833,"node_id":"MDQ6VXNlcjU1ODMz","avatar_url":"https://avatars0.githubusercontent.com/u/55833?v=4","gravatar_id":"","url":"https://api.github.com/users/Athas","html_url":"https://github.com/Athas","followers_url":"https://api.github.com/users/Athas/followers","following_url":"https://api.github.com/users/Athas/following{/other_user}","gists_url":"https://api.github.com/users/Athas/gists{/gist_id}","starred_url":"https://api.github.com/users/Athas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Athas/subscriptions","organizations_url":"https://api.github.com/users/Athas/orgs","repos_url":"https://api.github.com/users/Athas/repos","events_url":"https://api.github.com/users/Athas/events{/privacy}","received_events_url":"https://api.github.com/users/Athas/received_events","type":"User","site_admin":false},"labels":[{"id":26965386,"node_id":"MDU6TGFiZWwyNjk2NTM4Ng==","url":"https://api.github.com/repos/diku-dk/futhark/labels/enhancement","name":"enhancement","color":"84b6eb","default":true},{"id":519322195,"node_id":"MDU6TGFiZWw1MTkzMjIxOTU=","url":"https://api.github.com/repos/diku-dk/futhark/labels/language","name":"language","color":"b60205","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-07-02T21:07:03Z","updated_at":"2018-07-08T13:38:28Z","closed_at":"2018-07-08T13:38:28Z","author_association":"MEMBER","body":"@melsman, I will need your help to design this.\r\n\r\nShould we just define a `type^` spec to to along with `type`, or what do you think?  We can probably get away with just using the same rules as for lifted type parameters."}}
{"actor":{"display_login":"Athas"}}