{"action":"created","issue":{"url":"https://api.github.com/repos/racket/typed-racket/issues/125","labels_url":"https://api.github.com/repos/racket/typed-racket/issues/125/labels{/name}","comments_url":"https://api.github.com/repos/racket/typed-racket/issues/125/comments","events_url":"https://api.github.com/repos/racket/typed-racket/issues/125/events","html_url":"https://github.com/racket/typed-racket/pull/125","id":72583149,"number":125,"title":"Unit tests for fl>= typechecking","user":{"login":"miraleung","id":5384433,"avatar_url":"https://avatars.githubusercontent.com/u/5384433?v=3","gravatar_id":"","url":"https://api.github.com/users/miraleung","html_url":"https://github.com/miraleung","followers_url":"https://api.github.com/users/miraleung/followers","following_url":"https://api.github.com/users/miraleung/following{/other_user}","gists_url":"https://api.github.com/users/miraleung/gists{/gist_id}","starred_url":"https://api.github.com/users/miraleung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/miraleung/subscriptions","organizations_url":"https://api.github.com/users/miraleung/orgs","repos_url":"https://api.github.com/users/miraleung/repos","events_url":"https://api.github.com/users/miraleung/events{/privacy}","received_events_url":"https://api.github.com/users/miraleung/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2015-05-02T04:25:27Z","updated_at":"2015-05-03T06:44:16Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/racket/typed-racket/pulls/125","html_url":"https://github.com/racket/typed-racket/pull/125","diff_url":"https://github.com/racket/typed-racket/pull/125.diff","patch_url":"https://github.com/racket/typed-racket/pull/125.patch"},"body":"Tests for issue #115 and followup to pull request #124."},"comment":{"url":"https://api.github.com/repos/racket/typed-racket/issues/comments/98443812","html_url":"https://github.com/racket/typed-racket/pull/125#issuecomment-98443812","issue_url":"https://api.github.com/repos/racket/typed-racket/issues/125","id":98443812,"user":{"login":"miraleung","id":5384433,"avatar_url":"https://avatars.githubusercontent.com/u/5384433?v=3","gravatar_id":"","url":"https://api.github.com/users/miraleung","html_url":"https://github.com/miraleung","followers_url":"https://api.github.com/users/miraleung/followers","following_url":"https://api.github.com/users/miraleung/following{/other_user}","gists_url":"https://api.github.com/users/miraleung/gists{/gist_id}","starred_url":"https://api.github.com/users/miraleung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/miraleung/subscriptions","organizations_url":"https://api.github.com/users/miraleung/orgs","repos_url":"https://api.github.com/users/miraleung/repos","events_url":"https://api.github.com/users/miraleung/events{/privacy}","received_events_url":"https://api.github.com/users/miraleung/received_events","type":"User","site_admin":false},"created_at":"2015-05-03T06:44:16Z","updated_at":"2015-05-03T06:44:16Z","body":"Thanks Eric. I was using `raco test` as described [here](http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html), so I didn't catch those errors. The [Racket style guide](http://docs.racket-lang.org/style/Units_of_Code.html) didn't mention anything about whitespace and my editor is set to automatically remove them, but I'll make sure these don't get changed in the future. \r\n\r\nAll the new tests in my latest push pass, although I'm not sure whether some of the `fl>=` ones should be passing, such as:\r\n\r\n```\r\n[tc-e/t \r\n  (lambda: ([x : Flonum] [y : Flonum-Zero])\r\n    (values (fl<= x y) (fl>= x y)))\r\n  (t:-> -Flonum -FlonumZero\r\n        (make-Values (list\r\n                       (-result -Boolean (-FS (-filter -NonPosFlonum 0) -top))\r\n                       (-result -Boolean)))]\r\n```\r\nShould the last line be `(-result -Boolean (-FS (-filter -NonNegFlonum 0) -top))`? \r\n"}}