examples/ex1: Couldn't match expected type: IO Logger ...

[jwaldmann]

ghc  examples/ex1.hs SimpleSMT.hs
...
examples/ex1.hs:5:11: error:
    • Couldn't match expected type: IO Logger
                  with actual type: Int -> IO Logger
    • Probable cause: ‘newLogger’ is applied to too few arguments
      In a stmt of a 'do' block: l <- newLogger

I think newLogger was extended with an argument, but the example was not updated.

The trivial fix is

 main =
-  do l <- newLogger
+  do l <- newLogger 0
      s <- newSolver "cvc4" ["--lang=smt2"] (Just l)

I can do it. Perhaps it should be part of a test suite. But this would probably require that some SMT solver is present. cvc4 is superseeded by cvc5, and for that, we can simply write

     s <- newSolver "cvc5" [] (Just l)

(we don't need the option).

[jwaldmann]

Sorry I put the wrong issue number in my commit, so it does not appear here automatically. a376f57

[yav]

Would you mind make a PR to fix this?