{"action":"created","issue":{"url":"https://api.github.com/repos/tweag/ghc/issues/182","repository_url":"https://api.github.com/repos/tweag/ghc","labels_url":"https://api.github.com/repos/tweag/ghc/issues/182/labels{/name}","comments_url":"https://api.github.com/repos/tweag/ghc/issues/182/comments","events_url":"https://api.github.com/repos/tweag/ghc/issues/182/events","html_url":"https://github.com/tweag/ghc/pull/182","id":376827739,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI3OTUwNDAy","number":182,"title":"Unrestricted values in primitive data types","user":{"login":"andrewthad","id":5332484,"node_id":"MDQ6VXNlcjUzMzI0ODQ=","avatar_url":"https://avatars0.githubusercontent.com/u/5332484?v=4","gravatar_id":"","url":"https://api.github.com/users/andrewthad","html_url":"https://github.com/andrewthad","followers_url":"https://api.github.com/users/andrewthad/followers","following_url":"https://api.github.com/users/andrewthad/following{/other_user}","gists_url":"https://api.github.com/users/andrewthad/gists{/gist_id}","starred_url":"https://api.github.com/users/andrewthad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andrewthad/subscriptions","organizations_url":"https://api.github.com/users/andrewthad/orgs","repos_url":"https://api.github.com/users/andrewthad/repos","events_url":"https://api.github.com/users/andrewthad/events{/privacy}","received_events_url":"https://api.github.com/users/andrewthad/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-11-02T14:16:13Z","updated_at":"2018-11-02T17:42:38Z","closed_at":null,"author_association":"NONE","pull_request":{"url":"https://api.github.com/repos/tweag/ghc/pulls/182","html_url":"https://github.com/tweag/ghc/pull/182","diff_url":"https://github.com/tweag/ghc/pull/182.diff","patch_url":"https://github.com/tweag/ghc/pull/182.patch"},"body":"Make the data types Double, Float, Char, Ptr, Int{N}, and Word{N} be unrestricted in the unboxed argument in their data constructor. This is related to the discussion in https://github.com/tweag/ghc/issues/179."},"comment":{"url":"https://api.github.com/repos/tweag/ghc/issues/comments/435456516","html_url":"https://github.com/tweag/ghc/pull/182#issuecomment-435456516","issue_url":"https://api.github.com/repos/tweag/ghc/issues/182","id":435456516,"node_id":"MDEyOklzc3VlQ29tbWVudDQzNTQ1NjUxNg==","user":{"login":"andrewthad","id":5332484,"node_id":"MDQ6VXNlcjUzMzI0ODQ=","avatar_url":"https://avatars0.githubusercontent.com/u/5332484?v=4","gravatar_id":"","url":"https://api.github.com/users/andrewthad","html_url":"https://github.com/andrewthad","followers_url":"https://api.github.com/users/andrewthad/followers","following_url":"https://api.github.com/users/andrewthad/following{/other_user}","gists_url":"https://api.github.com/users/andrewthad/gists{/gist_id}","starred_url":"https://api.github.com/users/andrewthad/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andrewthad/subscriptions","organizations_url":"https://api.github.com/users/andrewthad/orgs","repos_url":"https://api.github.com/users/andrewthad/repos","events_url":"https://api.github.com/users/andrewthad/events{/privacy}","received_events_url":"https://api.github.com/users/andrewthad/received_events","type":"User","site_admin":false},"created_at":"2018-11-02T17:42:37Z","updated_at":"2018-11-02T17:42:37Z","author_association":"NONE","body":"Weird. This works for the types defined in `GHC.Int` but not for things from `GHC.Word` or `GHC.Types`. In ghci, I can confirm this with:\r\n\r\n    >>> :info Word8\r\n    data Word8 = W8# ghc-prim-0.5.3:GHC.Prim.Word#\r\n        -- Defined in ‘GHC.Word’\r\n    >>> :info Int8\r\n    data Int8 where\r\n      I8# :: ghc-prim-0.5.3:GHC.Prim.Int# -> Int8\r\n            -- Defined in ‘GHC.Int’\r\n    >>> :info Int\r\n    data Int = I# ghc-prim-0.5.3:GHC.Prim.Int#\r\n            -- Defined in ‘ghc-prim-0.5.3:GHC.Types’\r\n\r\nThe data constructor for `Int8` is unrestricted like it should be. The data constructors for `Word8` and `Int` are not."}}
{"actor":{"display_login":"andrewthad"}}