{"action":"opened","issue":{"url":"https://api.github.com/repos/fpco/stackage/issues/3599","repository_url":"https://api.github.com/repos/fpco/stackage","labels_url":"https://api.github.com/repos/fpco/stackage/issues/3599/labels{/name}","comments_url":"https://api.github.com/repos/fpco/stackage/issues/3599/comments","events_url":"https://api.github.com/repos/fpco/stackage/issues/3599/events","html_url":"https://github.com/fpco/stackage/issues/3599","id":321400325,"number":3599,"title":"ghc-typelits-knownnat build failure","user":{"login":"DanBurton","id":713692,"avatar_url":"https://avatars0.githubusercontent.com/u/713692?v=4","gravatar_id":"","url":"https://api.github.com/users/DanBurton","html_url":"https://github.com/DanBurton","followers_url":"https://api.github.com/users/DanBurton/followers","following_url":"https://api.github.com/users/DanBurton/following{/other_user}","gists_url":"https://api.github.com/users/DanBurton/gists{/gist_id}","starred_url":"https://api.github.com/users/DanBurton/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DanBurton/subscriptions","organizations_url":"https://api.github.com/users/DanBurton/orgs","repos_url":"https://api.github.com/users/DanBurton/repos","events_url":"https://api.github.com/users/DanBurton/events{/privacy}","received_events_url":"https://api.github.com/users/DanBurton/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-05-09T01:32:44Z","updated_at":"2018-05-09T01:32:44Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"```\r\n[1 of 3] Compiling GHC.TypeLits.KnownNat.Solver ( src/GHC/TypeLits/KnownNat/Solver.hs, dist/build/GHC/TypeLits/KnownNat/Solver.o )\r\n\r\nsrc/GHC/TypeLits/KnownNat/Solver.hs:261:52: error:\r\n    • Couldn't match type ‘(TcType.TcTyVar, TcType.TcType)’\r\n                     with ‘Var.Var’\r\n      Expected type: [(TcType.TcTyVar, TcType.TcType)]\r\n        Actual type: [((TcType.TcTyVar, TcType.TcType), Ct)]\r\n    • In the first argument of ‘substType’, namely ‘subst’\r\n      In the expression: substType subst z\r\n      In the expression: (x, y, substType subst z)\r\n    |\r\n261 |       kn_wanteds = map (\\(x,y,z) -> (x,y,substType subst z))\r\n    |                                                    ^^^^^\r\n```\r\n\r\nI was able to reproduce this locally like so:\r\n\r\n```bash\r\nstack unpack ghc-typelits-knownnat-0.4.2 && cd ghc-typelits-knownnat-0.4.2\r\nedit stack.yaml # add the following stack.yaml\r\nstack build --haddock --test --bench --no-run-benchmarks\r\n```\r\n\r\n```yaml\r\n# stack.yaml\r\nresolver: nightly-2018-05-08\r\nextra-deps:\r\n- ghc-tcplugins-extra-0.3\r\n- ghc-typelits-natnormalise-0.5.10\r\n\r\n```\r\n\r\nn.b. ghc-typelits-knownnat is being held back per #3597."}}
{"actor":{"display_login":"DanBurton"}}