Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - HasCacBDD-0.1.0.4 (first run) [1 of 1] Compiling Main ( /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/setup/setup.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/setup/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/setup/setup ... make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/cpp' g++ -c UTable.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c Manager.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c CTable.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c BDDNode.cpp -g -O3 -Wno-deprecated -shared -fPIC g++ -c DdNode.cpp -g -O3 -Wno-deprecated -shared -fPIC make: Leaving directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/cpp' make: Entering directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/c' g++ -g -c -shared -fPIC -I../cpp -o libBDDNodeC.so BDDNodeC.cpp rm -f libCacBDD.a ar rvs libCacBDD.a libBDDNodeC.so ar: creating libCacBDD.a a - libBDDNodeC.so ar rvs libCacBDD.a ../cpp/*.o a - ../cpp/BDDNode.o a - ../cpp/CTable.o a - ../cpp/DdNode.o a - ../cpp/Manager.o a - ../cpp/UTable.o make: Leaving directory '/home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/c' Configuring HasCacBDD-0.1.0.4... NOTE confHook: adding /home/builder/.cabal/lib/x86_64-linux-ghc-9.2.4/HasCacBDD-0.1.0.4-inplace to extraLibDirs NOTE preBuild: adding /home/builder/builder-dir/build-cache/tmp-install/HasCacBDD-0.1.0.4/c into extraLibDirs Preprocessing library for HasCacBDD-0.1.0.4.. Building library for HasCacBDD-0.1.0.4.. [1 of 2] Compiling Data.HasCacBDD ( hs/Data/HasCacBDD.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/build/Data/HasCacBDD.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/build/Data/HasCacBDD.dyn_o ) hs/Data/HasCacBDD.hs:276:21: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 276 | | otherwise = let (Just n) = firstVarOf b in n : nub (allVarsOf (thenOf b) ++ allVarsOf (elseOf b)) | ^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD.hs:311:71: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 311 | | otherwise = Var n (unravel (thenOf b)) (unravel (elseOf b)) where (Just n) = firstVarOf b | ^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD.hs:333:11: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 333 | let (Just n) = firstVarOf b | ^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD.hs:344:13: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 344 | where (Just n) = firstVarOf b | ^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD.hs:353:7: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 353 | (Just n) = firstVarOf b | ^^^^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD.hs:354:7: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Assignment not matched: Nothing | 354 | (Just rest) = if hastobetrue then anySat (thenOf b) else anySat (elseOf b) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD.hs:378:7: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 378 | (Just curvar) = firstVarOf b | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2 of 2] Compiling Data.HasCacBDD.Visuals ( hs/Data/HasCacBDD/Visuals.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/build/Data/HasCacBDD/Visuals.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/build/Data/HasCacBDD/Visuals.dyn_o ) hs/Data/HasCacBDD/Visuals.hs:33:15: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 33 | (Just thisvar) = firstVarOf curB | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD/Visuals.hs:37:15: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 37 | (Just leftn) = lookup lhs lhsdone | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ hs/Data/HasCacBDD/Visuals.hs:43:15: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns of type Maybe Int not matched: Nothing | 43 | (Just rightn) = lookup rhs rhsdone | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing test suite 'tests' for HasCacBDD-0.1.0.4.. Building test suite 'tests' for HasCacBDD-0.1.0.4.. [1 of 1] Compiling Main ( tests/Main.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/build/tests/tests-tmp/Main.o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/build/tests/tests ... Running 1 test suites... Test suite tests: RUNNING... Test suite tests: PASS Test suite logged to: /home/builder/builder-dir/build-cache/tmp-install/reports/HasCacBDD-0.1.0.4.test Writing: HasCacBDD-0.1.0.4-inplace/Data.HasCacBDD.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Test coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/hpc/vanilla/html/tests/hpc_index.html 1 of 1 test suites (1 of 1 test cases) passed. Writing: HasCacBDD-0.1.0.4-inplace/Data.HasCacBDD.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html Package coverage report written to /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/HasCacBDD-0.1.0.4/noopt/hpc/vanilla/html/HasCacBDD-0.1.0.4/hpc_index.html