Add --dump-info option to toyconvert #500
Annotations
3 errors and 10 warnings
|
Build:
app/toysat/toysat.hs#L1105
• Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Integer’
|
|
Build:
app/toysat/toysat.hs#L1106
• Couldn't match type ‘GHC.Real.Ratio Integer’ with ‘Integer’
|
|
Build
Process completed with exit code 1.
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
|
|
Build:
src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
|
Loading