SCase59.stderr

SCase59.hs:(11,14)-(15,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " m of\n\
      \               Nothing          -> 0\n\
      \               Just (Left x)    -> x\n\
      \               Just (Right _)   -> 1\n\
      \      "
  ======>
    ite
      (Data.SBV.Maybe.isNothing m) 0
      (ite
         ((.&&)
            (Data.SBV.Maybe.isJust m)
            ((\ _ -> Data.SBV.Either.isLeft (Data.SBV.Maybe.getJust_1 m))
               (Data.SBV.Maybe.getJust_1 m)))
         ((\ _
             -> let x = Data.SBV.Either.getLeft_1 (Data.SBV.Maybe.getJust_1 m)
                in x)
            (Data.SBV.Maybe.getJust_1 m))
         (ite
            ((.&&)
               (Data.SBV.Maybe.isJust m)
               ((\ _ -> Data.SBV.Either.isRight (Data.SBV.Maybe.getJust_1 m))
                  (Data.SBV.Maybe.getJust_1 m)))
            ((\ _ -> 1) (Data.SBV.Maybe.getJust_1 m))
            (symWithKind "unmatched_sCase_Maybe_6989586621679034927")))