diff options
| author | DanielRrr <daniel.rogozin@serokell.io> | 2021-11-03 13:11:26 +0300 |
|---|---|---|
| committer | DanielRrr <daniel.rogozin@serokell.io> | 2021-11-03 13:27:50 +0300 |
| commit | 8a379ba2f6f66d7ab49e5479cba5a05fa9862ce8 (patch) | |
| tree | 74ae5a9c94c4c6bed2183a7a384cddacd66b8568 /compiler/Language/Haskell/Syntax/Pat.hs-boot | |
| parent | a7e1be3d84d2b7d0515f909175cdfa5dcf0dc55c (diff) | |
| download | haskell-wip/17594-implementation.tar.gz | |
parser and renamer checkpointswip/17594-implementation
Diffstat (limited to 'compiler/Language/Haskell/Syntax/Pat.hs-boot')
| -rw-r--r-- | compiler/Language/Haskell/Syntax/Pat.hs-boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/Language/Haskell/Syntax/Pat.hs-boot b/compiler/Language/Haskell/Syntax/Pat.hs-boot index 4ff0371e39..29ec86565f 100644 --- a/compiler/Language/Haskell/Syntax/Pat.hs-boot +++ b/compiler/Language/Haskell/Syntax/Pat.hs-boot @@ -9,5 +9,8 @@ import Language.Haskell.Syntax.Extension ( XRec ) import Data.Kind type role Pat nominal +type role MatchPat nominal data Pat (i :: Type) type LPat i = XRec i (Pat i) +data MatchPat i +type LMatchPat i = XRec i (MatchPat i) |