Commits on May 1, 2024

1. Require building with th-desugar-1.17 …

   This bumps the `th-desugar` commit in the `cabal.project` file's
   `source-repository-package` to bring in the changes from `th-desugar-1.17`.
   Among other things, this version of `th-desugar` adds support for:
   
   * Namespace specifiers in fixity declarations
   * Embedded type expressions and patterns
   * Invisible type patterns
   
   For now, `singletons-th` will error if it encounters any of these constructs.
   Where appropriate, I have opened issues to track the idea of supporting these
   language features in `singletons-th`:
   
   * For namespace specifiers in fixity declarations, see
     #582.
   * Supporting embedded type expressions and patterns seems quite difficult due to
     `singletons-th`'s policy of only promoting/singling vanilla type signatures
     (see the `README`), so I have not opened an issue for this.
   * For invisible type patterns, see
     #583.
   
   This is one step towards preparing a GHC 9.10–compatible release of
   `singletons` and friends (see #569).

   

   RyanGlScott committed May 1, 2024
   Configuration menu

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

   Copy the full SHA

   d19ab3e View commit details

   Browse the repository at this point in the history