`singletons-{th,base}`: Require building with GHC 9.8 - Githubissues

goldfirere / singletons

Fake dependent types in Haskell using singletons

287 stars 36 forks source link

`singletons-{th,base}`: Require building with GHC 9.8 #575

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

This:

Supports invisible binders in type-level declarations.
Supports the FldName namespace introduced in GHC 9.8.
Tweaks some code to avoid -Wx-partial warnings introduced in GHC 9.8.

See also #564.