Redundant `SDecide Nat` constraint warning
Clarification and motivation
When building morley-debugger with the recent Morley, I encountered these warnings:
morley > /tmp/stack-4a9df823ef017362/morley-1.16.2/src/Morley/Util/Peano.hs:114:3: warning: [-Wredundant-constraints]
morley > • Redundant constraint: Data.Singletons.Decide.SDecide Nat
morley > • In the instance declaration for
morley > ‘Data.Type.Coercion.TestCoercion SingNat’
morley > |
morley > 114 | $(genSingletonsType ''Nat)
morley > | ^^^^^^^^^^^^^^^^^^^^^^^
morley >
morley > /tmp/stack-4a9df823ef017362/morley-1.16.2/src/Morley/Util/Peano.hs:114:3: warning: [-Wredundant-constraints]
morley > • Redundant constraint: Data.Singletons.Decide.SDecide Nat
morley > • In the instance declaration for
morley > ‘Data.Type.Equality.TestEquality SingNat’
morley > |
morley > 114 | $(genSingletonsType ''Nat)
morley > | ^^^^^^^^^^^^^^^^^^^^^^^
morley >
morley > /tmp/stack-4a9df823ef017362/morley-1.16.2/src/Morley/Util/Peano.hs:114:3: warning: [-Wredundant-constraints]
morley > • Redundant constraint: Data.Singletons.Decide.SDecide Nat
morley > • In the instance declaration for
morley > ‘Data.Singletons.Decide.SDecide Nat’
morley > |
morley > 114 | $(genSingletonsType ''Nat)
morley > | ^^^^^^^^^^^^^^^^^^^^^^^
GHC is known to not produce such warnings sometimes, so it is quite possible that those warnings don't fire when building Morley, but appear when building another project that depends on Morley.
It is not strictly necessary, but would be nice to fix this if not hard.
Acceptance criteria
- There
SDeicde Nat
constraint is not requested redundantly in the mentioned place.