Merge pull request #184 from smucclaw/bump-stack #198
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