SCase99.stderr

SCase99.hs:(12,18)-(24,11): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " e of\n\
      \                  Zero      -> case m of\n\
      \                                 Nothing -> 0\n\
      \                                 Just v  -> case v of\n\
      \                                              Left x  -> case b of\n\
      \                                                           True  -> x\n\
      \                                                           False -> -x\n\
      \                                              Right _ -> 1\n\
      \                  Num k     -> k\n\
      \                  Var _     -> -1\n\
      \                  Add a _   -> t a m b\n\
      \                  Let _ _ c -> t c m b\n\
      \         "
  ======>
    sCaseExpr
      (Data.SBV.Maybe.sCaseMaybe
         0
         (\ v
            -> Data.SBV.Either.sCaseEither
                 (\ x -> ite b x (negate x)) (\ _ -> 1) v)
         m)
      (\ k -> k) (\ _ -> negate 1) (\ a _ -> t a m b)
      (\ _ _ c -> t c m b) e