docs: rework readme #239
Annotations
10 warnings
|
src/Spex/Syntax/Type.hs#L5
The import of ‘Data.List’ is redundant
|
|
src/Spex/Syntax/Type.hs#L7
The qualified import of ‘Data.Map’ is redundant
|
|
src/Spex/Syntax/Type.hs#L12
The qualified import of ‘Data.Vector’ is redundant
|
|
src/Spex/Syntax/Type.hs#L47
Defined but not used: ‘ty’
|
|
src/Spex/Syntax/Value.hs#L4
The qualified import of ‘Data.Text’ is redundant
|
|
src/Spex/Syntax/Operation.hs#L4
The qualified import of ‘Data.ByteString.Char8’ is redundant
|
|
src/Spex/Syntax/Operation.hs#L5
The import of ‘Data.List’ is redundant
|
|
src/Spex/PrettyPrinter.hs#L84
Defined but not used: ‘tys’
|
|
src/Spex/PrettyPrinter.hs#L116
Defined but not used: ‘vs’
|
|
src/Spex/TypeChecker.hs#L22
Defined but not used: ‘pos’
|
The logs for this run have expired and are no longer available.
Loading