• Matthew Pickering's avatar
    Run typed splices in the zonker · c2455e64
    Matthew Pickering authored
    Summary:
    This fixes #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: #15471
    
    Differential Revision: https://phabricator.haskell.org/D5286
    c2455e64
Name
Last commit
Last update
..
config Loading commit data...
driver Loading commit data...
mk Loading commit data...
tests Loading commit data...
timeout Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
LICENSE.GPL Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...