Skipping specified binders in patterns is interpreted as passing a hole
The following test:
skipSpecifiedBinderInPat (Just @_ x) = x
skipSpecifiedBinderInPat Nothing = 0Causes the following error:
[IllegalTermError]
HWildCardDue 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
The following test:
skipSpecifiedBinderInPat (Just @_ x) = x
skipSpecifiedBinderInPat Nothing = 0Causes the following error:
[IllegalTermError]
HWildCard