Skip to content

Run typed splices in the zonker

Matthew Pickering requested to merge mpickering/ghc:typed-zonker into master

Summary: This fixes #15471 (closed)

In the typechecker we check that the splice has the right type but we crucially don't zonk the generated expression. This is because we might end up unifying type variables from outer scopes later on.

Reviewers: simonpj, goldfire, bgamari

Subscribers: rwbarton, carter

GHC Trac Issues: #15471 (closed)

Differential Revision: https://phabricator.haskell.org/D5286

Merge request reports