{"action":"created","issue":{"url":"https://api.github.com/repos/Dandandan/parser/issues/13","labels_url":"https://api.github.com/repos/Dandandan/parser/issues/13/labels{/name}","comments_url":"https://api.github.com/repos/Dandandan/parser/issues/13/comments","events_url":"https://api.github.com/repos/Dandandan/parser/issues/13/events","html_url":"https://github.com/Dandandan/parser/pull/13","id":85693579,"number":13,"title":"Migrate tests to elm-check 3","user":{"login":"jivagoalves","id":887937,"avatar_url":"https://avatars.githubusercontent.com/u/887937?v=3","gravatar_id":"","url":"https://api.github.com/users/jivagoalves","html_url":"https://github.com/jivagoalves","followers_url":"https://api.github.com/users/jivagoalves/followers","following_url":"https://api.github.com/users/jivagoalves/following{/other_user}","gists_url":"https://api.github.com/users/jivagoalves/gists{/gist_id}","starred_url":"https://api.github.com/users/jivagoalves/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jivagoalves/subscriptions","organizations_url":"https://api.github.com/users/jivagoalves/orgs","repos_url":"https://api.github.com/users/jivagoalves/repos","events_url":"https://api.github.com/users/jivagoalves/events{/privacy}","received_events_url":"https://api.github.com/users/jivagoalves/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-06-06T04:22:06Z","updated_at":"2015-06-17T09:29:46Z","closed_at":"2015-06-16T21:23:05Z","pull_request":{"url":"https://api.github.com/repos/Dandandan/parser/pulls/13","html_url":"https://github.com/Dandandan/parser/pull/13","diff_url":"https://github.com/Dandandan/parser/pull/13.diff","patch_url":"https://github.com/Dandandan/parser/pull/13.patch"},"body":"After migrating the tests to latest elm-check (3), I've found a failure related to the float parser when dealing with 0. I suspect we need to use `0.0` instead of `0` when generating the floats for the property test but wanted to check with you first.\r\n\r\n![screenshot from 2015-06-05 23 04 06](https://cloud.githubusercontent.com/assets/887937/8018261/ac9f75f6-0bd7-11e5-88cd-fa6c4e62a904.png)\r\n\r\nWould you mind helping me out with this issue?\r\n\r\nBesides that, I had to download [Shrink.elm](https://raw.githubusercontent.com/TheSeamau5/elm-shrink/master/src/Shrink.elm) to be able to compile even though it's already downloaded as a dependency. I suspect the problem is because I'm on Linux (case-sensitive FS) and [Shrink.Elm has been renamed recently to Shrink.elm](https://github.com/TheSeamau5/elm-shrink/commit/f6ecd39751eea2c3e1952b43cfa7be3bea31c93a). They didn't release this change yet. So if you have problems compiling this PR because of \"Shrink module not found\", then copying this might help.\r\n\r\nThanks!"},"comment":{"url":"https://api.github.com/repos/Dandandan/parser/issues/comments/112734668","html_url":"https://github.com/Dandandan/parser/pull/13#issuecomment-112734668","issue_url":"https://api.github.com/repos/Dandandan/parser/issues/13","id":112734668,"user":{"login":"Dandandan","id":163737,"avatar_url":"https://avatars.githubusercontent.com/u/163737?v=3","gravatar_id":"","url":"https://api.github.com/users/Dandandan","html_url":"https://github.com/Dandandan","followers_url":"https://api.github.com/users/Dandandan/followers","following_url":"https://api.github.com/users/Dandandan/following{/other_user}","gists_url":"https://api.github.com/users/Dandandan/gists{/gist_id}","starred_url":"https://api.github.com/users/Dandandan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Dandandan/subscriptions","organizations_url":"https://api.github.com/users/Dandandan/orgs","repos_url":"https://api.github.com/users/Dandandan/repos","events_url":"https://api.github.com/users/Dandandan/events{/privacy}","received_events_url":"https://api.github.com/users/Dandandan/received_events","type":"User","site_admin":false},"created_at":"2015-06-17T09:29:46Z","updated_at":"2015-06-17T09:29:46Z","body":"Thanks again @jivagoalves for all the work!"}}