Merge pull request #179 from smucclaw/update-workflows #180
Annotations
10 warnings
|
Build and test baby-l4:
src/InterfaceNunchaku.hs#L3
The import of ‘L4.Syntax’ is redundant
|
|
Build and test baby-l4:
src/InterfaceNunchaku.hs#L4
The import of ‘Data.List’ is redundant
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L233
Defined but not used: ‘n’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L236
Defined but not used: ‘vn’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L237
Defined but not used: ‘n’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L268
Defined but not used: ‘n’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L276
Defined but not used: ‘n’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L286
Defined but not used: ‘n’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L286
Defined but not used: ‘t’
|
|
Build and test baby-l4:
src/L4/SyntaxManipulation.hs#L286
Defined but not used: ‘v’
|
Loading