PCase46.stderr

PCase46.hs:(18,15)-(24,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      pCase
      " e of\n\
      \         Zero      -> e .== e =: qed\n\
      \         Num i     -> sNum i .== sNum i =: e .== e =: qed\n\
      \         Var s     -> sVar s .== sVar s =: e .== e =: qed\n\
      \         Add a b   -> e .== e =: qed\n\
      \         Let nm a b -> sLet nm a b .== sLet nm a b =: e .== e =: qed\n\
      \       "
  ======>
    cases
      [(isZero e ==> (e .== e =: qed)),
       (isNum e
          ==> (let i = getNum_1 e in (sNum i) .== sNum i =: e .== e =: qed)),
       (isVar e
          ==> (let s = getVar_1 e in (sVar s) .== sVar s =: e .== e =: qed)),
       (isAdd e
          ==>
            (let
               a = getAdd_1 e
               b = getAdd_2 e
             in e .== e =: qed)),
       (isLet e
          ==>
            (let
               nm = getLet_1 e
               a = getLet_2 e
               b = getLet_3 e
             in (sLet nm a b) .== sLet nm a b =: e .== e =: qed))]
PCase46.hs:18:15: error: [GHC-40910] [-Wunused-local-binds, Werror=unused-local-binds]
    Defined but not used: b
   |
18 |     |- [pCase| e of
   |               ^^^^^...

PCase46.hs:18:15: error: [GHC-40910] [-Wunused-local-binds, Werror=unused-local-binds]
    Defined but not used: a
   |
18 |     |- [pCase| e of
   |               ^^^^^...