PCase32.stderr

PCase32.hs:(19,15)-(23,9): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      pCase
      " e of\n\
      \         Zero           -> e .== e =: qed\n\
      \         Num i | i .> 0 -> sNum i .== sNum i =: e .== e =: qed\n\
      \         Var s          -> sVar s .== sVar s =: e .== e =: qed\n\
      \       "
  ======>
    cases
      [(isZero e ==> (e .== e =: qed)),
       ((.&&) (isNum e) (let i = getNum_1 e in i .> 0)
          ==> (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))]