Skip to content
build

Change SAT2KSATInfo to be synonym of TseitinInfo #505

Sign in to view logs

Change SAT2KSATInfo to be synonym of TseitinInfo

Change SAT2KSATInfo to be synonym of TseitinInfo #505

Triggered via pull request November 17, 2024 09:43
@msakaimsakai
opened #121
feature/reduce-transformers
Status Success
Total duration 16m 21s
Artifacts 5

build.yaml

on: pull_request
Matrix: build
github-release
0s
github-release
Fit to window
Zoom out
Zoom in

Annotations

110 warnings
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: misc/build_artifacts.hs#L61
In the use of ‘fromText’
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: misc/build_artifacts.hs#L66
In the use of ‘fromText’
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: misc/build_artifacts.hs#L61
In the use of ‘fromText’
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: misc/build_artifacts.hs#L66
In the use of ‘fromText’
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: misc/build_artifacts.hs#L61
In the use of ‘fromText’
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: misc/build_artifacts.hs#L66
In the use of ‘fromText’
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: misc/build_artifacts.hs#L61
In the use of ‘fromText’
build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...: misc/build_artifacts.hs#L66
In the use of ‘fromText’
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: misc/build_artifacts.hs#L61
In the use of ‘fromText’
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: misc/build_artifacts.hs#L66
In the use of ‘fromText’
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedA’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘visitedB’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘currB’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘nextB’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for ‘result’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedA’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘visitedB’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘currB’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘nextB’ shadows the existing binding
build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for ‘result’ shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `visitedA' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `visitedB' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `currB' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `nextB' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `result' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `visitedA' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `visitedB' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `currB' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `nextB' shadows the existing binding
build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `result' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `visitedA' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `visitedB' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `currB' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `nextB' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L111
This binding for `result' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `visitedA' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `visitedB' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `currB' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `nextB' shadows the existing binding
build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...: src/ToySolver/Combinatorial/BipartiteMatching.hs#L112
This binding for `result' shadows the existing binding

Artifacts

Produced during runtime
Name Size
binary-packages-linux-x86_64
20.1 MB
binary-packages-macos-aarch64
66.1 MB
binary-packages-macos-x86_64
7.12 MB
binary-packages-win32
28.6 MB
binary-packages-win64
18.8 MB