diff options
| author | romes <rodrigo.m.mesquita@gmail.com> | 2022-03-10 20:02:36 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-18 05:10:58 -0400 |
| commit | 310890a51372937afa69e1edac1179eba67ac046 (patch) | |
| tree | a69e155c1f7bf29d3a2a4c5d2f0c394e1dfdf06f /compiler/Language/Haskell/Syntax/Extension.hs | |
| parent | 19163397000ae3ce9886a75bef900d35774d864e (diff) | |
| download | haskell-310890a51372937afa69e1edac1179eba67ac046.tar.gz | |
Separate constructors for typed and untyped brackets
Split HsBracket into HsTypedBracket and HsUntypedBracket.
Unfortunately, we still cannot get rid of
instance XXTypedBracket GhcTc = HsTypedBracket GhcRn
despite no longer requiring it for typechecking, but rather because the
TH desugarer works on GhcRn rather than GhcTc (See GHC.HsToCore.Quote)
Diffstat (limited to 'compiler/Language/Haskell/Syntax/Extension.hs')
| -rw-r--r-- | compiler/Language/Haskell/Syntax/Extension.hs | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/compiler/Language/Haskell/Syntax/Extension.hs b/compiler/Language/Haskell/Syntax/Extension.hs index 93c66fce35..df443eb451 100644 --- a/compiler/Language/Haskell/Syntax/Extension.hs +++ b/compiler/Language/Haskell/Syntax/Extension.hs @@ -429,7 +429,8 @@ type family XGetField x type family XProjection x type family XExprWithTySig x type family XArithSeq x -type family XBracket x +type family XTypedBracket x +type family XUntypedBracket x type family XSpliceE x type family XProc x type family XStatic x @@ -470,15 +471,17 @@ type family XSpliced x type family XXSplice x -- ------------------------------------- --- HsBracket type families -type family XExpBr x -type family XPatBr x -type family XDecBrL x -type family XDecBrG x -type family XTypBr x -type family XVarBr x -type family XTExpBr x -type family XXBracket x +-- HsTypedBracket type families +type family XTExpBr x +type family XXTypedBracket x +-- HsUntypedBracket type families +type family XExpBr x +type family XPatBr x +type family XDecBrL x +type family XDecBrG x +type family XTypBr x +type family XVarBr x +type family XXUntypedBracket x -- ------------------------------------- -- HsCmdTop type families |