• 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
..
ado Loading commit data...
annotations Loading commit data...
arityanal Loading commit data...
array Loading commit data...
arrows Loading commit data...
backpack Loading commit data...
boxy Loading commit data...
cabal Loading commit data...
callarity Loading commit data...
cmm Loading commit data...
codeGen Loading commit data...
concurrent Loading commit data...
cpranal Loading commit data...
cps Loading commit data...
deSugar Loading commit data...
dependent Loading commit data...
deriving Loading commit data...
determinism Loading commit data...
driver Loading commit data...
dynlibs Loading commit data...
eyeball Loading commit data...
ffi Loading commit data...
gadt Loading commit data...
generics Loading commit data...
ghc-api Loading commit data...
ghc-e Loading commit data...
ghci Loading commit data...
ghci.debugger Loading commit data...
haddock Loading commit data...
hiefile Loading commit data...
hp2ps Loading commit data...
hpc Loading commit data...
hsc2hs Loading commit data...
indexed-types Loading commit data...
layout Loading commit data...
lib Loading commit data...
llvm Loading commit data...
mdo Loading commit data...
module Loading commit data...
monadfail Loading commit data...
numeric Loading commit data...
overloadedlists Loading commit data...
overloadedrecflds Loading commit data...
overloadedstrings Loading commit data...
package Loading commit data...
parser Loading commit data...
partial-sigs Loading commit data...
patsyn Loading commit data...
perf Loading commit data...
plugins Loading commit data...
pmcheck Loading commit data...
polykinds Loading commit data...
primops Loading commit data...
printer Loading commit data...
profiling Loading commit data...
programs Loading commit data...
quantified-constraints Loading commit data...
quasiquotation Loading commit data...
quotes Loading commit data...
rebindable Loading commit data...
regalloc Loading commit data...
rename Loading commit data...
roles Loading commit data...
rts Loading commit data...
runghc Loading commit data...
safeHaskell Loading commit data...
showIface Loading commit data...
simplCore Loading commit data...
simplStg Loading commit data...
stage1 Loading commit data...
stranal Loading commit data...
th Loading commit data...
typecheck Loading commit data...
unboxedsums Loading commit data...
utils Loading commit data...
warnings Loading commit data...
wcompat-warnings Loading commit data...
Makefile Loading commit data...