diff options
| author | Jakob Bruenker <jakob.bruenker@gmail.com> | 2022-03-21 00:14:25 +0100 |
|---|---|---|
| committer | Jakob Bruenker <jakob.bruenker@gmail.com> | 2022-04-01 20:31:08 +0200 |
| commit | 32070e6c2e1b4b7c32530a9566fe14543791f9a6 (patch) | |
| tree | f0913ef2a69fd660542723ec07240167dbd37961 /testsuite/tests/rep-poly | |
| parent | d85c7dcb7c457efc23b20ac8f4e4ae88bae5b050 (diff) | |
| download | haskell-32070e6c2e1b4b7c32530a9566fe14543791f9a6.tar.gz | |
Implement \cases (Proposal 302)
This commit implements proposal 302: \cases - Multi-way lambda
expressions.
This adds a new expression heralded by \cases, which works exactly like
\case, but can match multiple apats instead of a single pat.
Updates submodule haddock to support the ITlcases token.
Closes #20768
Diffstat (limited to 'testsuite/tests/rep-poly')
| -rw-r--r-- | testsuite/tests/rep-poly/RepPolyMatch.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/rep-poly/RepPolyMatch.stderr b/testsuite/tests/rep-poly/RepPolyMatch.stderr index 420c38efe2..d845426032 100644 --- a/testsuite/tests/rep-poly/RepPolyMatch.stderr +++ b/testsuite/tests/rep-poly/RepPolyMatch.stderr @@ -1,6 +1,6 @@ RepPolyMatch.hs:11:9: error: - • The binder of the lambda-case expression + • The binder of the \case expression does not have a fixed runtime representation. Its type is: a :: TYPE rep |