Skip to content

Use TTG for HsSplicedT constructor

Krzysztof Gogolewski requested to merge tweag/ghc:wip/ttg-hssplicedt into master

The constructor HsSplicedT occurs only in the GhcTc pass. This enforces this fact statically via TTG.

Merge request reports