-
Problem: it's 2020 already and GHC-8.8 is out, but we still use 8.6 branch. Solution: use LTS-15.7 with GHC-8.8.3. Support newer `singletons`. Clean all new warnings. Co-authored-by: Maxim Koltsov <kolmax94@gmail.com>
Problem: it's 2020 already and GHC-8.8 is out, but we still use 8.6
branch.
Solution: use LTS-15.7 with GHC-8.8.3. Support newer `singletons`. Clean
all new warnings.
Co-authored-by: Maxim Koltsov <kolmax94@gmail.com>