PCase48.stderr

PCase48.hs:(19,15)-(25,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      pCase
      " e of\n\
      \         Var s | s .== literal \"a\"                       -> e .== e =: qed\n\
      \               | s .== literal \"b\" .|| s .== literal \"c\" -> e .== e =: qed\n\
      \               | sTrue                                    -> e .== e =: qed\n\
      \\n\
      \         Num _ | sTrue                                    -> e .== e =: qed\n\
      \       "
  ======>
    cases
      [((.&&) (isVar e) (let s = getVar_1 e in s .== literal "a")
          ==> (e .== e =: qed)),
       ((.&&)
          (isVar e)
          ((.&&)
             (sNot (let s = getVar_1 e in s .== literal "a"))
             (let s = getVar_1 e in s .== literal "b" .|| s .== literal "c"))
          ==> (e .== e =: qed)),
       ((.&&)
          (isVar e)
          ((.&&)
             (sNot (let s = getVar_1 e in s .== literal "a"))
             (sNot
                (let s = getVar_1 e in s .== literal "b" .|| s .== literal "c")))
          ==> (e .== e =: qed)),
       (isNum e ==> (e .== e =: qed))]