{"action":"created","issue":{"url":"https://api.github.com/repos/goldfirere/singletons/issues/316","repository_url":"https://api.github.com/repos/goldfirere/singletons","labels_url":"https://api.github.com/repos/goldfirere/singletons/issues/316/labels{/name}","comments_url":"https://api.github.com/repos/goldfirere/singletons/issues/316/comments","events_url":"https://api.github.com/repos/goldfirere/singletons/issues/316/events","html_url":"https://github.com/goldfirere/singletons/issues/316","id":304096328,"number":316,"title":"Illegal Haskell construct encountered","user":{"login":"LeanderK","id":2179853,"avatar_url":"https://avatars2.githubusercontent.com/u/2179853?v=4","gravatar_id":"","url":"https://api.github.com/users/LeanderK","html_url":"https://github.com/LeanderK","followers_url":"https://api.github.com/users/LeanderK/followers","following_url":"https://api.github.com/users/LeanderK/following{/other_user}","gists_url":"https://api.github.com/users/LeanderK/gists{/gist_id}","starred_url":"https://api.github.com/users/LeanderK/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LeanderK/subscriptions","organizations_url":"https://api.github.com/users/LeanderK/orgs","repos_url":"https://api.github.com/users/LeanderK/repos","events_url":"https://api.github.com/users/LeanderK/events{/privacy}","received_events_url":"https://api.github.com/users/LeanderK/received_events","type":"User","site_admin":false},"labels":[{"id":20376946,"url":"https://api.github.com/repos/goldfirere/singletons/labels/bug","name":"bug","color":"fc2929","default":true}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":6,"created_at":"2018-03-10T19:13:53Z","updated_at":"2018-03-10T20:42:11Z","closed_at":null,"author_association":"NONE","body":"When I try to promote:\r\n```haskell\r\n$(promoteOnly [d|\r\n    replaceAllGTypes :: (a -> Type -> a) -> [Type] -> [a] -> [a]\r\n    replaceAllGTypes f types as = zipWith f as types\r\n  |])\r\n```\r\nI am greeted with\r\n```haskell\r\n    Illegal Haskell construct encountered:\r\nheaded by: DStarT\r\napplied to: []\r\n   |\r\n94 | $(promoteOnly [d|\r\n   |   ^^^^^^^^^^^^^^^...\r\n\r\n/Users/LeanderK/Documents/Haskell/Earhart/src/V4/TypeHelpers.hs:94:3: error:\r\n    Q monad failure\r\n   |\r\n94 | $(promoteOnly [d|\r\n   |   ^^^^^^^^^^^^^^^...\r\nFailed, no modules loaded.\r\n```\r\nI don't see anything illegal here? Am I missing something?\r\n\r\nEDIT: Same for\r\n```haskell\r\n$(promoteOnly [d|\r\n    toTypes :: [(x, Type)] -> [Type]\r\n    toTypes = map snd\r\n  |])\r\n```"},"comment":{"url":"https://api.github.com/repos/goldfirere/singletons/issues/comments/372064756","html_url":"https://github.com/goldfirere/singletons/issues/316#issuecomment-372064756","issue_url":"https://api.github.com/repos/goldfirere/singletons/issues/316","id":372064756,"user":{"login":"LeanderK","id":2179853,"avatar_url":"https://avatars2.githubusercontent.com/u/2179853?v=4","gravatar_id":"","url":"https://api.github.com/users/LeanderK","html_url":"https://github.com/LeanderK","followers_url":"https://api.github.com/users/LeanderK/followers","following_url":"https://api.github.com/users/LeanderK/following{/other_user}","gists_url":"https://api.github.com/users/LeanderK/gists{/gist_id}","starred_url":"https://api.github.com/users/LeanderK/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/LeanderK/subscriptions","organizations_url":"https://api.github.com/users/LeanderK/orgs","repos_url":"https://api.github.com/users/LeanderK/repos","events_url":"https://api.github.com/users/LeanderK/events{/privacy}","received_events_url":"https://api.github.com/users/LeanderK/received_events","type":"User","site_admin":false},"created_at":"2018-03-10T20:42:11Z","updated_at":"2018-03-10T20:42:11Z","author_association":"NONE","body":"I am unable to build it with singletons HEAD because my transitive dependency `singleton-nats` fails to build with it.\r\n```\r\n• Type constructor ‘~>’ cannot be used here\r\n            (Perhaps you intended to use TypeInType)\r\n        • In the second argument of ‘TyFun’, namely ‘((~>) Nat Nat)’\r\n          In the kind ‘TyFun Nat ((~>) Nat Nat)’\r\n```"}}
{"actor":{"display_login":"LeanderK"}}