Commits on Jul 12, 2024

1. Adapt to matchUpSAKWithDecl moving to th-desugar …

   As part of a fix for goldfirere/th-desugar#223,
   goldfirere/th-desugar#227 adds its own version of
   `singletons-th`'s `matchUpSAKWithDecl` function (now called
   `dMatchUpSAKWithDecl` on the `th-desugar` side). This commit completes the
   migration by removing `singletons-th`'s version of `matchUpSAKWithDecl` and
   instead using the version offered by `th-desugar`.

   

   RyanGlScott committed Jul 12, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for ea7b600
   • Browse repository at this point

   Copy the full SHA

   ea7b600 View commit details

   Browse the repository at this point in the history

2. Adapt to goldfirere/th-desugar#199 and goldfirere/th-desugar#220 …

   As part of a fix for goldfirere/th-desugar#199 and goldfirere/th-desugar#220,
   goldfirere/th-desugar#227 improves `th-desugar`'s
   ability to locally reify and desugar precise types for Haskell98-style data
   constructors and class methods. This has a couple of knock-on effects for
   `singletons`:
   
   * The type of `dsCon` has changes to accept `DTyVarBndrSpec`s instead of
     `DTyVarBndrUnit`s, so we must adapt the call sites in `singletons-th`
     accordingly.
   * Some of the test cases in `singletons-base` need to have their expected
     output updated to account for the improved kind information and specificity
     information flowing down from standalone kind signatures.

   

   RyanGlScott committed Jul 12, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for f8b8cd8
   • Browse repository at this point

   Copy the full SHA

   f8b8cd8 View commit details

   Browse the repository at this point in the history