Preliminary groundwork for GHC 9.0 compatibility#1708

Merged

martijnbastiaan merged 3 commits intoclash-lang:masterfrom gergoerdi:ghc-9.0

Mar 18, 2021

+69-56

Commits on Mar 18, 2021

When using new enough th-abstractions, use tvName instead of bndrName

gergoerdi
authored and
martijnbastiaan
committed
Update singletons to version 3.0, which is compatible with GHC 9.0

gergoerdi
authored and
martijnbastiaan
committed
Update CI w.r.t. GHC 9.0
martijnbastiaan
committed