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 /compiler/Language/Haskell/Syntax/Extension.hs | |
| 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 'compiler/Language/Haskell/Syntax/Extension.hs')
| -rw-r--r-- | compiler/Language/Haskell/Syntax/Extension.hs | 24 | 
1 files changed, 12 insertions, 12 deletions
diff --git a/compiler/Language/Haskell/Syntax/Extension.hs b/compiler/Language/Haskell/Syntax/Extension.hs index 53031d867c..dc39d10c99 100644 --- a/compiler/Language/Haskell/Syntax/Extension.hs +++ b/compiler/Language/Haskell/Syntax/Extension.hs @@ -519,18 +519,18 @@ type family XXStmtLR         x x' b  -- -------------------------------------  -- HsCmd type families -type family XCmdArrApp  x -type family XCmdArrForm x -type family XCmdApp     x -type family XCmdLam     x -type family XCmdPar     x -type family XCmdCase    x -type family XCmdLamCase x -type family XCmdIf      x -type family XCmdLet     x -type family XCmdDo      x -type family XCmdWrap    x -type family XXCmd       x +type family XCmdArrApp   x +type family XCmdArrForm  x +type family XCmdApp      x +type family XCmdLam      x +type family XCmdPar      x +type family XCmdCase     x +type family XCmdLamCase  x +type family XCmdIf       x +type family XCmdLet      x +type family XCmdDo       x +type family XCmdWrap     x +type family XXCmd        x  -- -------------------------------------  -- ParStmtBlock type families  | 
