Merge pull request #182 from smucclaw/stack-lts-22.24 #191
Annotations
10 warnings
src/InterfaceNunchaku.hs#L3
The import of ‘L4.Syntax’ is redundant
|
src/InterfaceNunchaku.hs#L4
The import of ‘Data.List’ is redundant
|
src/L4/SyntaxManipulation.hs#L233
Defined but not used: ‘n’
|
src/L4/SyntaxManipulation.hs#L236
Defined but not used: ‘vn’
|
src/L4/SyntaxManipulation.hs#L237
Defined but not used: ‘n’
|
src/L4/SyntaxManipulation.hs#L268
Defined but not used: ‘n’
|
src/L4/SyntaxManipulation.hs#L276
Defined but not used: ‘n’
|
src/L4/SyntaxManipulation.hs#L286
Defined but not used: ‘n’
|
src/L4/SyntaxManipulation.hs#L286
Defined but not used: ‘t’
|
src/L4/SyntaxManipulation.hs#L286
Defined but not used: ‘v’
|
This job succeeded
Loading