{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":6869457,"defaultBranch":"master","name":"singletons","ownerLogin":"goldfirere","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2012-11-26T17:31:46.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1958003?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1714875363.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"7a753b16b34fdac47e201dc06ae42ce01087c044","ref":"refs/heads/T210-lambda-case","pushedAt":"2024-05-05T02:16:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: T210 \\cases\n\nTODO RGS: Finish me\n\n[ci skip]","shortMessageHtmlLink":"Draft: T210 \\cases"}},{"before":"201dd5dc4d58eeb2a3c551698dda038150e398bf","after":"4fba8e6a2e8ba449ee1a31d24ec02e7f12bb6c63","ref":"refs/heads/ghc-9.10","pushedAt":"2024-05-04T18:44:57.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: singletons-base: Accept GHC 9.10 golden test output\n\nTODO RGS: The output for `Singletons/PatternMatching.hs` is wrong. It might be\nfixed when https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12493 is\nbackported to the `ghc-9.10` branch.","shortMessageHtmlLink":"Draft: singletons-base: Accept GHC 9.10 golden test output"}},{"before":"2fbce8b63739ceeacee3eba86e93f085886ec040","after":"201dd5dc4d58eeb2a3c551698dda038150e398bf","ref":"refs/heads/ghc-9.10","pushedAt":"2024-05-04T12:45:13.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: singletons-base: Accept GHC 9.10 golden test output\n\nTODO RGS: The output for `Singletons/PatternMatching.hs` is wrong. It might be\nfixed when https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12493 is\nbackported to the `ghc-9.10` branch.","shortMessageHtmlLink":"Draft: singletons-base: Accept GHC 9.10 golden test output"}},{"before":"eb697622038d5bb62af6de2ec5a97d08349e4ae9","after":"2fbce8b63739ceeacee3eba86e93f085886ec040","ref":"refs/heads/ghc-9.10","pushedAt":"2024-05-04T12:19:30.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: singletons-base: Accept GHC 9.10 golden test output\n\nTODO RGS: The output for `Singletons/PatternMatching.hs` is wrong. It might be\nfixed when https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12493 is\nbackported to the `ghc-9.10` branch.","shortMessageHtmlLink":"Draft: singletons-base: Accept GHC 9.10 golden test output"}},{"before":"0dc30980d5f044616302960db251fe20e0529def","after":"eb697622038d5bb62af6de2ec5a97d08349e4ae9","ref":"refs/heads/ghc-9.10","pushedAt":"2024-05-04T11:58:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: singletons-base: Accept GHC 9.10 golden test output\n\nTODO RGS: The output for `Singletons/PatternMatching.hs` is wrong. It might be\nfixed when https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12493 is\nbackported to the `ghc-9.10` branch.","shortMessageHtmlLink":"Draft: singletons-base: Accept GHC 9.10 golden test output"}},{"before":"f870b496342fa19e6a73e03f3ad94fb2637481ed","after":null,"ref":"refs/heads/T585","pushedAt":"2024-05-04T10:57:55.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"07852e99db7baa3283d2d13760cd15e1cb43657c","after":"aad81c85c515a71cfd771915bab7e79295fe82ef","ref":"refs/heads/master","pushedAt":"2024-05-04T10:57:52.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"promoteLetDecName: Fix visibility-related bug\n\nPreviously, `promoteLetDecName` would convert every `DTyVarBndrSpec` in an\noutermost `forall` to an invisible argument in a promoted type family equation.\nThis is not quite right, however, as #585 reveals: we do not want to convert\n_inferred_ type variable binders to invisible arguments.\n\nTo do this properly, we introduce a new `tvbSpecsToBndrVis` function, which\nconverts a list of `DTyVarBndrSpec`s to a list of `DTyVarBndrVis`es, dropping\nany `DTyVarBndrSpec`s with an `InferredSpec` in the process. We then use\n`tvbSpecsToBndrVis` in `promoteLetDecName`, which neatly fixes #585.","shortMessageHtmlLink":"promoteLetDecName: Fix visibility-related bug"}},{"before":"1429170ab103795a30e846c5e3bb0cd881c5a917","after":"f870b496342fa19e6a73e03f3ad94fb2637481ed","ref":"refs/heads/T585","pushedAt":"2024-05-04T10:49:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"promoteLetDecName: Fix visibility-related bug\n\nPreviously, `promoteLetDecName` would convert every `DTyVarBndrSpec` in an\noutermost `forall` to an invisible argument in a promoted type family equation.\nThis is not quite right, however, as #585 reveals: we do not want to convert\n_inferred_ type variable binders to invisible arguments.\n\nTo do this properly, we introduce a new `tvbSpecsToBndrVis` function, which\nconverts a list of `DTyVarBndrSpec`s to a list of `DTyVarBndrVis`es, dropping\nany `DTyVarBndrSpec`s with an `InferredSpec` in the process. We then use\n`tvbSpecsToBndrVis` in `promoteLetDecName`, which neatly fixes #585.","shortMessageHtmlLink":"promoteLetDecName: Fix visibility-related bug"}},{"before":null,"after":"1429170ab103795a30e846c5e3bb0cd881c5a917","ref":"refs/heads/T585","pushedAt":"2024-05-04T00:16:29.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"promoteLetDecName: Fix visibility-related bug\n\nPreviously, `promoteLetDecName` would convert every `DTyVarBndrSpec` in an\noutermost `forall` to an invisible argument in a promoted type family equation.\nThis is not quite right, however, as #585 reveals: we do not want to convert\n_inferred_ type variable binders to invisible arguments.\n\nTo do this properly, we introduce a new `tvbSpecsToBndrVis` function, which\nconverts a list of `DTyVarBndrSpec`s to a list of `DTyVarBndrVis`es, dropping\nany `DTyVarBndrSpec`s with an `InferredSpec` in the process. We then use\n`tvbSpecsToBndrVis` in `promoteLetDecName`, which neatly fixes #585.","shortMessageHtmlLink":"promoteLetDecName: Fix visibility-related bug"}},{"before":null,"after":"0dc30980d5f044616302960db251fe20e0529def","ref":"refs/heads/ghc-9.10","pushedAt":"2024-05-03T23:28:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: singletons-base: Accept GHC 9.10 golden test output\n\nTODO RGS: The output for `Singletons/PatternMatching.hs` is wrong. It might be\nfixed when https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12493 is\nbackported to the `ghc-9.10` branch.\n\n[ci skip]","shortMessageHtmlLink":"Draft: singletons-base: Accept GHC 9.10 golden test output"}},{"before":"d19ab3eac50e97e58f0d07ba72024c0317800147","after":null,"ref":"refs/heads/th-desugar-1.17","pushedAt":"2024-05-01T22:19:21.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"2a604585d637d52256c31e1d4eee0c4d7150b7ef","after":"07852e99db7baa3283d2d13760cd15e1cb43657c","ref":"refs/heads/master","pushedAt":"2024-05-01T22:19:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Require building with th-desugar-1.17\n\nThis bumps the `th-desugar` commit in the `cabal.project` file's\n`source-repository-package` to bring in the changes from `th-desugar-1.17`.\nAmong other things, this version of `th-desugar` adds support for:\n\n* Namespace specifiers in fixity declarations\n* Embedded type expressions and patterns\n* Invisible type patterns\n\nFor now, `singletons-th` will error if it encounters any of these constructs.\nWhere appropriate, I have opened issues to track the idea of supporting these\nlanguage features in `singletons-th`:\n\n* For namespace specifiers in fixity declarations, see\n  https://github.com/goldfirere/singletons/issues/582.\n* Supporting embedded type expressions and patterns seems quite difficult due to\n  `singletons-th`'s policy of only promoting/singling vanilla type signatures\n  (see the `README`), so I have not opened an issue for this.\n* For invisible type patterns, see\n  https://github.com/goldfirere/singletons/issues/583.\n\nThis is one step towards preparing a GHC 9.10–compatible release of\n`singletons` and friends (see #569).","shortMessageHtmlLink":"Require building with th-desugar-1.17"}},{"before":"ac536bf527fd0839753d9559d987e9b75417a831","after":"d19ab3eac50e97e58f0d07ba72024c0317800147","ref":"refs/heads/th-desugar-1.17","pushedAt":"2024-05-01T12:27:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Require building with th-desugar-1.17\n\nThis bumps the `th-desugar` commit in the `cabal.project` file's\n`source-repository-package` to bring in the changes from `th-desugar-1.17`.\nAmong other things, this version of `th-desugar` adds support for:\n\n* Namespace specifiers in fixity declarations\n* Embedded type expressions and patterns\n* Invisible type patterns\n\nFor now, `singletons-th` will error if it encounters any of these constructs.\nWhere appropriate, I have opened issues to track the idea of supporting these\nlanguage features in `singletons-th`:\n\n* For namespace specifiers in fixity declarations, see\n  https://github.com/goldfirere/singletons/issues/582.\n* Supporting embedded type expressions and patterns seems quite difficult due to\n  `singletons-th`'s policy of only promoting/singling vanilla type signatures\n  (see the `README`), so I have not opened an issue for this.\n* For invisible type patterns, see\n  https://github.com/goldfirere/singletons/issues/583.\n\nThis is one step towards preparing a GHC 9.10–compatible release of\n`singletons` and friends (see #569).","shortMessageHtmlLink":"Require building with th-desugar-1.17"}},{"before":null,"after":"ac536bf527fd0839753d9559d987e9b75417a831","ref":"refs/heads/th-desugar-1.17","pushedAt":"2024-05-01T12:21:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Require building with th-desugar-1.17\n\nThis bumps the `th-desugar` commit in the `cabal.project` file's\n`source-repository-package` to bring in the changes from `th-desugar-1.17`.\nAmong other things, this version of `th-desugar` adds support for:\n\n* Namespace specifiers in fixity declarations\n* Embedded type expressions and patterns\n* Invisible type patterns\n\nFor now, `singletons-th` will error if it encounters any of these constructs.\nWhere appropriate, I have opened issues to track the idea of supporting these\nlanguage features in `singletons-th`:\n\n* For namespace specifiers in fixity declarations, see\n  https://github.com/goldfirere/singletons/issues/582.\n* Supporting embedded type expressions and patterns seems quite difficult due to\n  `singletons-th`'s policy of only promoting/singling vanilla type signatures\n  (see the `README`), so I have not opened an issue for this.\n* For invisible type patterns, see\n  https://github.com/goldfirere/singletons/issues/583.\n\nThis is one step towards preparing a GHC 9.10–compatible release of\n`singletons` and friends (see #569).","shortMessageHtmlLink":"Require building with th-desugar-1.17"}},{"before":null,"after":"7eda9f03c79630910ad6bb26bb94fcf6ae5c756b","ref":"refs/heads/T580","pushedAt":"2024-01-28T20:57:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Draft: T580","shortMessageHtmlLink":"Draft: T580"}},{"before":"05819e2ce39b2798fb7e879039431c5c32aef8d9","after":"2a604585d637d52256c31e1d4eee0c4d7150b7ef","ref":"refs/heads/master","pushedAt":"2023-10-13T12:04:25.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Finalize singletons-{th,base}-3.3","shortMessageHtmlLink":"Finalize singletons-{th,base}-3.3"}},{"before":"f4f7c6070938ede0c29893e9422b99e7a255b68e","after":null,"ref":"refs/heads/bump-to-3.3","pushedAt":"2023-10-13T11:47:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"42b340e7a0e5d9de047f9a86327a8d58923759f0","after":"05819e2ce39b2798fb7e879039431c5c32aef8d9","ref":"refs/heads/master","pushedAt":"2023-10-13T11:47:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"singletons-{th,base}: Bump version to 3.3","shortMessageHtmlLink":"singletons-{th,base}: Bump version to 3.3"}},{"before":null,"after":"f4f7c6070938ede0c29893e9422b99e7a255b68e","ref":"refs/heads/bump-to-3.3","pushedAt":"2023-10-13T11:23:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"singletons-{th,base}: Bump version to 3.3","shortMessageHtmlLink":"singletons-{th,base}: Bump version to 3.3"}},{"before":"de5ef8a3824999d2ad667ca279a8ea87ead87192","after":null,"ref":"refs/heads/T563","pushedAt":"2023-10-13T11:17:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"6334b1bb7a835c4a6f9cad1a9ff44d7f7bad893a","after":"42b340e7a0e5d9de047f9a86327a8d58923759f0","ref":"refs/heads/master","pushedAt":"2023-10-13T11:17:24.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Don't promote/single field selectors with NoFieldSelectors\n\nNow that we have the ability to distinguish the `FldName` namespace from the\n`VarName` namespace, we can prevent `singletons-th` from promoting or singling\nthe names of records to top-level field selectors when `NoFieldSelectors` is\nactive.\n\nFixes #563.","shortMessageHtmlLink":"Don't promote/single field selectors with NoFieldSelectors"}},{"before":"c0052ada8c0e2f14bd6ef68ed8e508cdb8adc200","after":"de5ef8a3824999d2ad667ca279a8ea87ead87192","ref":"refs/heads/T563","pushedAt":"2023-10-12T11:03:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Don't promote/single field selectors with NoFieldSelectors\n\nNow that we have the ability to distinguish the `FldName` namespace from the\n`VarName` namespace, we can prevent `singletons-th` from promoting or singling\nthe names of records to top-level field selectors when `NoFieldSelectors` is\nactive.\n\nFixes #563.","shortMessageHtmlLink":"Don't promote/single field selectors with NoFieldSelectors"}},{"before":null,"after":"c0052ada8c0e2f14bd6ef68ed8e508cdb8adc200","ref":"refs/heads/T563","pushedAt":"2023-10-12T10:53:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Don't promote/single field selectors with NoFieldSelectors\n\nNow that we have the ability to distinguish the `FldName` namespace from the\n`VarName` namespace, we can prevent `singletons-th` from promoting or singling\nthe names of records to top-level field selectors when `NoFieldSelectors` is\nactive.\n\nFixes #563.","shortMessageHtmlLink":"Don't promote/single field selectors with NoFieldSelectors"}},{"before":"e4f70c3a31a6fc51115174a79e889df16960a707","after":null,"ref":"refs/heads/ghc-9.8","pushedAt":"2023-10-12T10:22:08.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"f463a384222c85f1b906fa64dca9d2aa611fd7e7","after":"6334b1bb7a835c4a6f9cad1a9ff44d7f7bad893a","ref":"refs/heads/master","pushedAt":"2023-10-12T10:22:04.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8","shortMessageHtmlLink":"CI: Test GHC 9.8"}},{"before":"8681c2ca2026ac2004a7fc0893fda4c8dbfca69d","after":"e4f70c3a31a6fc51115174a79e889df16960a707","ref":"refs/heads/ghc-9.8","pushedAt":"2023-10-11T13:26:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8","shortMessageHtmlLink":"CI: Test GHC 9.8"}},{"before":"a7772188d64b6a6d5aba4c474ae10484dea46fce","after":"8681c2ca2026ac2004a7fc0893fda4c8dbfca69d","ref":"refs/heads/ghc-9.8","pushedAt":"2023-10-10T13:17:59.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8","shortMessageHtmlLink":"CI: Test GHC 9.8"}},{"before":"e5346f100492f6144d36ec114974e3d75067c285","after":"a7772188d64b6a6d5aba4c474ae10484dea46fce","ref":"refs/heads/ghc-9.8","pushedAt":"2023-10-10T13:06:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"CI: Test GHC 9.8","shortMessageHtmlLink":"CI: Test GHC 9.8"}},{"before":"54a0d8dac8f9ba47d2253d932c44920f9e66d463","after":null,"ref":"refs/heads/th-desugar-1.16","pushedAt":"2023-10-10T13:05:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"}},{"before":"a61bb77776b4a32c1b7d0dc58a977fde23d818af","after":"f463a384222c85f1b906fa64dca9d2aa611fd7e7","ref":"refs/heads/master","pushedAt":"2023-10-10T13:05:27.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"RyanGlScott","name":"Ryan Scott","path":"/RyanGlScott","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2364661?s=80&v=4"},"commit":{"message":"Bump th-desugar submodule to version 1.16\n\nThis bumps the `th-desugar` submodule to bring in all of the changes in the\nupcoming `1.16` release. Aside from bumping version bounds, the only other\nchanges that had to be made on the `singletons` side are:\n\n* `singletons-th` now has explicit failure cases for typed TH splices.\n* Due to goldfirere/th-desugar#194, desugared data constructors now look like\n  this:\n\n  ```hs\n  DataCon :: forall (a :: Type) (b :: Type). DataType a b\n  ```\n\n  Instead of this:\n\n  ```hs\n  DataCon :: forall (a :: Type) (b :: Type). DataType (a :: Type) (b :: Type)\n  ```\n\n  This causes the expected output for some test cases to change, but they are\n  benign changes.","shortMessageHtmlLink":"Bump th-desugar submodule to version 1.16"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEQaji7wA","startCursor":null,"endCursor":null}},"title":"Activity · goldfirere/singletons"}