{"action":"opened","issue":{"url":"https://api.github.com/repos/bennn/trivial/issues/25","repository_url":"https://api.github.com/repos/bennn/trivial","labels_url":"https://api.github.com/repos/bennn/trivial/issues/25/labels{/name}","comments_url":"https://api.github.com/repos/bennn/trivial/issues/25/comments","events_url":"https://api.github.com/repos/bennn/trivial/issues/25/events","html_url":"https://github.com/bennn/trivial/issues/25","id":159337017,"number":25,"title":"format-id contract violation","user":{"login":"bennn","id":1731829,"avatar_url":"https://avatars.githubusercontent.com/u/1731829?v=3","gravatar_id":"","url":"https://api.github.com/users/bennn","html_url":"https://github.com/bennn","followers_url":"https://api.github.com/users/bennn/followers","following_url":"https://api.github.com/users/bennn/following{/other_user}","gists_url":"https://api.github.com/users/bennn/gists{/gist_id}","starred_url":"https://api.github.com/users/bennn/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bennn/subscriptions","organizations_url":"https://api.github.com/users/bennn/orgs","repos_url":"https://api.github.com/users/bennn/repos","events_url":"https://api.github.com/users/bennn/events{/privacy}","received_events_url":"https://api.github.com/users/bennn/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2016-06-09T06:30:24Z","updated_at":"2016-06-09T06:30:24Z","closed_at":null,"body":"Have been using `format-id` to interpret identifiers as types.\r\nThis isn't going to work out. Here's something that won't compile.\r\n\r\n```\r\n#lang typed/racket/base\r\n(require trivial)\r\n(map: (lambda ((x : (Listof Integer))) (car x)) '((1)))\r\n```\r\n\r\nBecause `(Listof Integer)` isn't a valid `format-id` argument."}}
{"actor":{"display_login":"bennn"}}