Merge pull request #180 from smucclaw/stack-lts-22.22 #185
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’
|
The logs for this run have expired and are no longer available.
Loading