sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase61.stderr

SCase61.hs:(11,14)-(15,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " m of\n\
      \               Nothing        -> 0\n\
      \               Just x | x .> 5 -> x * 2\n\
      \               Just x         -> x\n\
      \      "
  ======>
    ite
      (Data.SBV.Maybe.isNothing m) 0
      (ite
         ((.&&)
            (Data.SBV.Maybe.isJust m)
            ((\ x -> x .> 5) (Data.SBV.Maybe.getJust_1 m)))
         ((\ x -> x * 2) (Data.SBV.Maybe.getJust_1 m))
         ((\ x -> x) (Data.SBV.Maybe.getJust_1 m)))