packages feed

sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase25.stderr

SCase25.hs:(11,14)-(19,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " e of\n\
      \         Var s     | s .== literal \"a\"                       -> 0\n\
      \                   | s .== literal \"b\" .|| s .== literal \"c\" -> 1\n\
      \                   | sTrue                                   -> 2\n\
      \\n\
      \         Num i     | sTrue                                   -> 3\n\
      \\n\
      \         _                                                   -> 6\n\
      \      "
  ======>
    ite
      ((.&&) (isVar e) ((\ s -> s .== literal "a") (getVar_1 e)))
      ((\ s -> const 0 s) (getVar_1 e))
      (ite
         ((.&&)
            (isVar e)
            ((\ s -> s .== literal "b" .|| s .== literal "c") (getVar_1 e)))
         ((\ s -> const 1 s) (getVar_1 e))
         (ite
            (isVar e) ((\ s -> const 2 s) (getVar_1 e))
            (ite (isNum e) ((\ i -> 3) (getNum_1 e)) 6)))
SCase25.hs:11:14: error: [GHC-40910] [-Wunused-matches, Werror=unused-matches]
    Defined but not used: i
   |
11 | f e = [sCase| e of
   |              ^^^^^...