serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
174 stars 26 forks source link

[#208] `redundant constraint` test #263

Closed DK318 closed 2 years ago

DK318 commented 2 years ago

Description

Problem

In ghc-8.6.3 your code can produce redundant constraint warning if you derive Container for newtype, but in ghc-9.0.2 and newer no warnings would be produced.

Solution

Added test, that should be compiled with ghc-9.0.2 and newer without warnings.

Related issues(s)

✓ Checklist for your Pull Request

Ideally a PR has all of the checkmarks set.

If something in this list is irrelevant to your PR, you should still set this checkmark indicating that you are sure it is dealt with (be that by irrelevance).

Related changes (conditional)

Stylistic guide (mandatory)