EPA: fix span for empty \case(s)
In
instance SDecide Nat where
SZero %~ (SSucc _) = Disproved (\case)Ensure the span for the HsLam covers the full construct.
Closes #24748 (closed)
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
In
instance SDecide Nat where
SZero %~ (SSucc _) = Disproved (\case)Ensure the span for the HsLam covers the full construct.
Closes #24748 (closed)