Merge pull request #29 from konn/konn/ghc-9.8 #84
Annotations
10 warnings
|
Build:
src/Data/Type/Natural/Core.hs#L70
‘Natural’ is exported by ‘module GHC.TypeNats’ and ‘Natural’
|
|
Build:
src/Data/Type/Natural/Core.hs#L74
The import of ‘Data.Type.Equality’ is redundant
|
|
Build:
src/Data/Type/Natural/Core.hs#L82
The import of ‘Numeric.Natural’ is redundant
|
|
Build:
src/Data/Type/Natural/Core.hs#L118
Defined but not used: data constructor ‘SNat’
|
|
Build:
src/Data/Type/Natural/Lemma/Presburger.hs#L37
Pattern match has inaccessible right hand side
|
|
Build:
src/Data/Type/Natural/Lemma/Presburger.hs#L37
• Could not deduce: 1 ~ 0
|
|
Build:
src/Data/Type/Natural/Lemma/Arithmetic.hs#L291
Pattern match has inaccessible right hand side
|
|
Build:
src/Data/Type/Natural/Lemma/Arithmetic.hs#L291
• Could not deduce: 1 ~ 0
|
|
Build:
src/Data/Type/Natural/Lemma/Arithmetic.hs#L295
Pattern match has inaccessible right hand side
|
|
Build:
src/Data/Type/Natural/Lemma/Arithmetic.hs#L295
• Could not deduce: 1 ~ 0
|
The logs for this run have expired and are no longer available.
Loading