jwaldmann / ersatz-kissatapi Goto Github PK

stack --resolver=lts-19 test
...
ersatz-kissatapi                 > test (suite: osc)
                                
Missing: (-p|--period ARG) (-w|--width ARG)
...
Completed 54 action(s).
Test suite failure for package ersatz-kissatapi-0.0.0
    osc:  exited with: ExitFailure 1

    • Could not deduce (HasSAT s0) arising from a use of ‘assert’
      from the context: (Control.Monad.IO.Class.MonadIO m, MonadFail m)
        bound by the inferred type of
                   constraint :: (Control.Monad.IO.Class.MonadIO m, MonadFail m) =>
                                 [Char] -> (Int, Int) -> m (Maybe String)
        at A.hs:(88,1)-(114,23)
      The type variable ‘s0’ is ambiguous
      These potential instances exist:
        instance HasSAT QSAT -- Defined in ‘Ersatz.Problem’
        instance HasSAT SAT -- Defined in ‘Ersatz.Problem’
    • In the first argument of ‘mapM_’, namely ‘assert’
      In the expression: mapM_ assert
      In a stmt of a 'do' block:
        mapM_ assert $ M.map (exactly_one) collected
    |           
110 |     mapM_ assert $ M.map ( exactly_one ) collected
    |           ^^^^^^

Linking .stack-work/dist/x86_64-linux/Cabal-3.2.1.0/build/z001/z001 ...
/builds/waldmann/pure-matchbox/kissat/lib/libkissat.a(print.o):print.c:function kissat_signal: error: undefined reference to 'kissat_signal_name'
/builds/waldmann/pure-matchbox/kissat/lib/libkissat.a(print.o):print.c:function kissat_signal: error: undefined reference to 'kissat_signal_name'
collect2: error: ld returned 1 exit status
`gcc' failed in phase `Linker'. (Exit code: 1)
--  While building package pure-matchbox-1.0 (scroll up to its section to see the error) using:
      /builds/waldmann/pure-matchbox/.stack-root/setup-exe-cache/x86_64-linux/Cabal-simple_mPHDZzAJ_3.2.1.0_ghc-8.10.7 --builddir=.stack-work/dist/x86_64-linux/Cabal-3.2.1.0 build lib:pure-matchbox exe:check-strat exe:check-theorem exe:check-tiling-implies-mb exe:closure-enumerate exe:coco-sp exe:coco-tp exe:enumka exe:fight exe:filter-srs exe:generate exe:improve-strategy exe:killer-noko exe:near-grid-predict exe:noko-leipzig exe:onerule-congruence exe:onerule-enum exe:pure-matchbox exe:random-termination test:arctic test:cycle-transport test:five test:qpi test:sparse-tiling test:standard-transport test:strategy test:strategy1 test:z001 --ghc-options ""

static inline const char *
kissat_signal_name (int sig)
{  ...

It has inline attribute, so it is expected that it cannot be linked, 
but it is surprising that linker looks for it.