{"action":"created","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":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-07-02T21:07:03Z","updated_at":"2018-07-03T07:23:25Z","closed_at":null,"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."},"comment":{"url":"https://api.github.com/repos/diku-dk/futhark/issues/comments/402038906","html_url":"https://github.com/diku-dk/futhark/issues/577#issuecomment-402038906","issue_url":"https://api.github.com/repos/diku-dk/futhark/issues/577","id":402038906,"node_id":"MDEyOklzc3VlQ29tbWVudDQwMjAzODkwNg==","user":{"login":"melsman","id":1167803,"node_id":"MDQ6VXNlcjExNjc4MDM=","avatar_url":"https://avatars1.githubusercontent.com/u/1167803?v=4","gravatar_id":"","url":"https://api.github.com/users/melsman","html_url":"https://github.com/melsman","followers_url":"https://api.github.com/users/melsman/followers","following_url":"https://api.github.com/users/melsman/following{/other_user}","gists_url":"https://api.github.com/users/melsman/gists{/gist_id}","starred_url":"https://api.github.com/users/melsman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/melsman/subscriptions","organizations_url":"https://api.github.com/users/melsman/orgs","repos_url":"https://api.github.com/users/melsman/repos","events_url":"https://api.github.com/users/melsman/events{/privacy}","received_events_url":"https://api.github.com/users/melsman/received_events","type":"User","site_admin":false},"created_at":"2018-07-03T07:23:24Z","updated_at":"2018-07-03T07:23:24Z","author_association":"CONTRIBUTOR","body":"The eqtype specs in SML works in the different direction. There, type-specs\n(\"type t\") specify all possible types and eqtype-specs specify a subset of\nall types (chose that support equality). In Futhark, we somehow have the\nopposite situation with lifted types being the general concept - I somehow\nthink that we should change the type specs to be \"type t\", meaning that t\ncan stand for any type, and \"btype t\", meaning that t can stand only for\nbase types (i.e., non-function types). Also notice that when an abstract\ntype is referenced in an array context (e.g., []t), it should then be\nrequired that t is specified as a btype...\n\nman. 2. jul. 2018 kl. 23.07 skrev Troels Henriksen <notifications@github.com\n>:\n\n> @melsman <https://github.com/melsman>, I will need your help to design\n> this.\n>\n> Should we just define a type^ spec to to along with type, or what do you\n> think? We can probably get away with just using the same rules as for\n> lifted type parameters.\n>\n> —\n> You are receiving this because you were mentioned.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/diku-dk/futhark/issues/577>, or mute the thread\n> <https://github.com/notifications/unsubscribe-auth/ABHRu8aDQTowgXRnfjqLndTHLiPMwYZGks5uCot4gaJpZM4U_8Xy>\n> .\n>\n"}}
{"actor":{"display_login":"melsman"}}