{"action":"created","issue":{"url":"https://api.github.com/repos/accordproject/ergo/issues/328","repository_url":"https://api.github.com/repos/accordproject/ergo","labels_url":"https://api.github.com/repos/accordproject/ergo/issues/328/labels{/name}","comments_url":"https://api.github.com/repos/accordproject/ergo/issues/328/comments","events_url":"https://api.github.com/repos/accordproject/ergo/issues/328/events","html_url":"https://github.com/accordproject/ergo/issues/328","id":343767389,"node_id":"MDU6SXNzdWUzNDM3NjczODk=","number":328,"title":"Write type inference for Ergo expressions","user":{"login":"jeromesimeon","id":670099,"node_id":"MDQ6VXNlcjY3MDA5OQ==","avatar_url":"https://avatars0.githubusercontent.com/u/670099?v=4","gravatar_id":"","url":"https://api.github.com/users/jeromesimeon","html_url":"https://github.com/jeromesimeon","followers_url":"https://api.github.com/users/jeromesimeon/followers","following_url":"https://api.github.com/users/jeromesimeon/following{/other_user}","gists_url":"https://api.github.com/users/jeromesimeon/gists{/gist_id}","starred_url":"https://api.github.com/users/jeromesimeon/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeromesimeon/subscriptions","organizations_url":"https://api.github.com/users/jeromesimeon/orgs","repos_url":"https://api.github.com/users/jeromesimeon/repos","events_url":"https://api.github.com/users/jeromesimeon/events{/privacy}","received_events_url":"https://api.github.com/users/jeromesimeon/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"kach","id":5202416,"node_id":"MDQ6VXNlcjUyMDI0MTY=","avatar_url":"https://avatars3.githubusercontent.com/u/5202416?v=4","gravatar_id":"","url":"https://api.github.com/users/kach","html_url":"https://github.com/kach","followers_url":"https://api.github.com/users/kach/followers","following_url":"https://api.github.com/users/kach/following{/other_user}","gists_url":"https://api.github.com/users/kach/gists{/gist_id}","starred_url":"https://api.github.com/users/kach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kach/subscriptions","organizations_url":"https://api.github.com/users/kach/orgs","repos_url":"https://api.github.com/users/kach/repos","events_url":"https://api.github.com/users/kach/events{/privacy}","received_events_url":"https://api.github.com/users/kach/received_events","type":"User","site_admin":false},"assignees":[{"login":"kach","id":5202416,"node_id":"MDQ6VXNlcjUyMDI0MTY=","avatar_url":"https://avatars3.githubusercontent.com/u/5202416?v=4","gravatar_id":"","url":"https://api.github.com/users/kach","html_url":"https://github.com/kach","followers_url":"https://api.github.com/users/kach/followers","following_url":"https://api.github.com/users/kach/following{/other_user}","gists_url":"https://api.github.com/users/kach/gists{/gist_id}","starred_url":"https://api.github.com/users/kach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kach/subscriptions","organizations_url":"https://api.github.com/users/kach/orgs","repos_url":"https://api.github.com/users/kach/repos","events_url":"https://api.github.com/users/kach/events{/privacy}","received_events_url":"https://api.github.com/users/kach/received_events","type":"User","site_admin":false}],"milestone":null,"comments":10,"created_at":"2018-07-23T19:37:44Z","updated_at":"2018-07-30T18:13:19Z","closed_at":"2018-07-30T18:13:19Z","author_association":"CONTRIBUTOR","body":"We need inference at the level of ergo expressions, without function calls. This should be a function with the following signature:\r\n\r\n```\r\nTypeModel -> TypeContext -> Expr -> Type\r\n```\r\n\r\nWhere\r\n- `TypeModel` contains the type declared in CTO files and type definitions (including the type hierarchy)\r\n- `TypeContext` contains type assignments for all the free variable in the expression\r\n- `Expr` is the expression being type checked\r\n- `TypeOut` is the type of the output\r\n\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/accordproject/ergo/issues/comments/408959041","html_url":"https://github.com/accordproject/ergo/issues/328#issuecomment-408959041","issue_url":"https://api.github.com/repos/accordproject/ergo/issues/328","id":408959041,"node_id":"MDEyOklzc3VlQ29tbWVudDQwODk1OTA0MQ==","user":{"login":"kach","id":5202416,"node_id":"MDQ6VXNlcjUyMDI0MTY=","avatar_url":"https://avatars3.githubusercontent.com/u/5202416?v=4","gravatar_id":"","url":"https://api.github.com/users/kach","html_url":"https://github.com/kach","followers_url":"https://api.github.com/users/kach/followers","following_url":"https://api.github.com/users/kach/following{/other_user}","gists_url":"https://api.github.com/users/kach/gists{/gist_id}","starred_url":"https://api.github.com/users/kach/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kach/subscriptions","organizations_url":"https://api.github.com/users/kach/orgs","repos_url":"https://api.github.com/users/kach/repos","events_url":"https://api.github.com/users/kach/events{/privacy}","received_events_url":"https://api.github.com/users/kach/received_events","type":"User","site_admin":false},"created_at":"2018-07-30T18:13:19Z","updated_at":"2018-07-30T18:13:19Z","author_association":"COLLABORATOR","body":"(Done in #356)"}}
{"actor":{"display_login":"kach"}}