build

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #541

Triggered via pull request December 5, 2024 03:13

msakai

opened #129

feature/naesat-json-special-var

Status Failure

Total duration 15m 31s

Artifacts –

build.yaml

on: pull_request

Matrix: build

github-release

Annotations

10 errors and 106 warnings

build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

Process completed with exit code 1.

build (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

Process completed with exit code 1.

build (9.0.2, ubuntu-latest, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

Process completed with exit code 1.

build (9.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

Process completed with exit code 1.

build (9.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...

Process completed with exit code 1.

build (9.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...

Process completed with exit code 1.

build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...

Process completed with exit code 1.

build (9.6.6, macos-latest, stack-ghc-9.6.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bui...

Process completed with exit code 1.

build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...

Process completed with exit code 1.

build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...

Process completed with exit code 1.

build (9.2.8, ubuntu-latest, stack-ghc-9.2.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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.8.2, ubuntu-latest, stack-ghc-9.8.yaml, --flag toysolver:BuildToyFMF --flag toysolver:Bu...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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.6.6, ubuntu-latest, stack-ghc-9.6.yaml, --haddock --no-haddock-deps, --flag toysolver:Bu...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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.4.8, ubuntu-latest, stack-ghc-9.4.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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 (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...: 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 (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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #541

Summary