#11785: Kinds should be treated like types in TcSplice -------------------------------------+------------------------------------- Reporter: goldfire | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Another place we should unify the treatment of `Type`s and `Kind`s is `DsMeta`. We have both `repLTy` and `repLKind`, but the latter covers far fewer things than the former, which has led to bugs like #13781. Sadly, accomplishing this requires more work than you'd believe, since `repLTy` returns a `TypeQ`, whereas `repLKind` returns a pure `Kind`. In other words, we'd have to go through and purify `repLTy`, as well as every function it calls which is also monadic (see https://phabricator.haskell.org/D3627#103117). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11785#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler