{"action":"created","issue":{"url":"https://api.github.com/repos/brownplt/pyret-lang/issues/529","labels_url":"https://api.github.com/repos/brownplt/pyret-lang/issues/529/labels{/name}","comments_url":"https://api.github.com/repos/brownplt/pyret-lang/issues/529/comments","events_url":"https://api.github.com/repos/brownplt/pyret-lang/issues/529/events","html_url":"https://github.com/brownplt/pyret-lang/issues/529","id":92218076,"number":529,"title":"s-contract does nothing","user":{"login":"justinpombrio","id":434946,"avatar_url":"https://avatars.githubusercontent.com/u/434946?v=3","gravatar_id":"","url":"https://api.github.com/users/justinpombrio","html_url":"https://github.com/justinpombrio","followers_url":"https://api.github.com/users/justinpombrio/followers","following_url":"https://api.github.com/users/justinpombrio/following{/other_user}","gists_url":"https://api.github.com/users/justinpombrio/gists{/gist_id}","starred_url":"https://api.github.com/users/justinpombrio/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/justinpombrio/subscriptions","organizations_url":"https://api.github.com/users/justinpombrio/orgs","repos_url":"https://api.github.com/users/justinpombrio/repos","events_url":"https://api.github.com/users/justinpombrio/events{/privacy}","received_events_url":"https://api.github.com/users/justinpombrio/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-06-30T22:44:17Z","updated_at":"2015-07-01T00:23:49Z","closed_at":null,"body":"You can write down a type annotation on its own line, which so far as I can tell does nothing:\r\n\r\n    foo :: Number\r\n    foo = \"three\" # no error\r\n\r\nThis is called s-contract in the grammar, and seems to be dropped by `resolve-scope.arr`."},"comment":{"url":"https://api.github.com/repos/brownplt/pyret-lang/issues/comments/117377757","html_url":"https://github.com/brownplt/pyret-lang/issues/529#issuecomment-117377757","issue_url":"https://api.github.com/repos/brownplt/pyret-lang/issues/529","id":117377757,"user":{"login":"jpolitz","id":119891,"avatar_url":"https://avatars.githubusercontent.com/u/119891?v=3","gravatar_id":"","url":"https://api.github.com/users/jpolitz","html_url":"https://github.com/jpolitz","followers_url":"https://api.github.com/users/jpolitz/followers","following_url":"https://api.github.com/users/jpolitz/following{/other_user}","gists_url":"https://api.github.com/users/jpolitz/gists{/gist_id}","starred_url":"https://api.github.com/users/jpolitz/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jpolitz/subscriptions","organizations_url":"https://api.github.com/users/jpolitz/orgs","repos_url":"https://api.github.com/users/jpolitz/repos","events_url":"https://api.github.com/users/jpolitz/events{/privacy}","received_events_url":"https://api.github.com/users/jpolitz/received_events","type":"User","site_admin":false},"created_at":"2015-07-01T00:23:49Z","updated_at":"2015-07-01T00:23:49Z","body":"For now it's a fancy comment (not totally useless given design-recipe kinds of things).  The plan is to weave the annotations in and have rules for having to match a toplevel function, etc."}}