TTG: Refactor bracket for desugaring during tc
When desugaring a bracket we want to desugar /renamed/ rather than /typechecked/ code; So in (HsExpr GhcTc) tree, we must have a (HsExpr GhcRn) for the quotation itself. This commit reworks the TTG refactor on typed and untyped brackets by storing the /renamed/ code in the bracket field extension rather than in the constructor extension in `HsQuote` (previously called `HsUntypedBracket`) See Note [The life cycle of a TH quotation] and !4782
Showing
- compiler/GHC/Hs/Expr.hs 73 additions, 68 deletionscompiler/GHC/Hs/Expr.hs
- compiler/GHC/Hs/Instances.hs 5 additions, 10 deletionscompiler/GHC/Hs/Instances.hs
- compiler/GHC/Hs/Syn/Type.hs 2 additions, 2 deletionscompiler/GHC/Hs/Syn/Type.hs
- compiler/GHC/HsToCore/Expr.hs 4 additions, 7 deletionscompiler/GHC/HsToCore/Expr.hs
- compiler/GHC/HsToCore/Quote.hs 5 additions, 5 deletionscompiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Iface/Ext/Ast.hs 6 additions, 9 deletionscompiler/GHC/Iface/Ext/Ast.hs
- compiler/GHC/Parser.y 1 addition, 1 deletioncompiler/GHC/Parser.y
- compiler/GHC/Rename/Splice.hs 7 additions, 7 deletionscompiler/GHC/Rename/Splice.hs
- compiler/GHC/Tc/Deriv/Generate.hs 1 addition, 1 deletioncompiler/GHC/Tc/Deriv/Generate.hs
- compiler/GHC/Tc/Gen/Splice.hs 23 additions, 15 deletionscompiler/GHC/Tc/Gen/Splice.hs
- compiler/GHC/Tc/Gen/Splice.hs-boot 4 additions, 4 deletionscompiler/GHC/Tc/Gen/Splice.hs-boot
- compiler/GHC/Tc/Utils/Zonk.hs 5 additions, 4 deletionscompiler/GHC/Tc/Utils/Zonk.hs
- compiler/Language/Haskell/Syntax/Expr.hs 7 additions, 13 deletionscompiler/Language/Haskell/Syntax/Expr.hs
- compiler/Language/Haskell/Syntax/Extension.hs 8 additions, 11 deletionscompiler/Language/Haskell/Syntax/Extension.hs
Loading
Please register or sign in to comment