packages feed

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

SCase30.hs:(20,14)-(24,8): Splicing expression
    ghc-internal:GHC.Internal.TH.Quote.quoteExp
      sCase
      " a of\n\
      \         A u     -> sA (u+1)\n\
      \         B f     -> sB (f+2)\n\
      \         C a1 a2 -> sC (t a1) (t a2)\n\
      \      "
  ======>
    sCaseA
      (\ u -> sA (u + 1)) (\ f -> sB (f + 2))
      (\ a1 a2 -> sC (t a1) (t a2)) a