Run typed splices in the zonker

Authored by mpickering on Jan 9 2019, 8:52 AM.

Description

Run typed splices in the zonker

Summary:
This fixes Trac #15471

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: Trac #15471

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

Details

Committed
mpickeringJan 11 2019, 2:45 AM
Differential Revision
D5286: Run typed splices in the zonker
Parents
rGHC82d1a88dec21: Implement a sanity check for CCS fields in profiling builds
Branches
Unknown
Tags
Unknown