packages feed

sbv-13.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase05.stderr

SCase05.hs:12:14: error: [GHC-39584]
    " sCase: Failed to parse a symbolic case-expression.

           Instead of:   case      expr of alts
           Write     : [sCase|Type expr of alts|]

        where Type is the underlying concrete type of the expression.

    " In the quasi-quotation: [sCase|Expr e + 1|]
   |
12 | t e = [sCase|Expr e + 1|]
   |              ^^^^^^^^^^^^