diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2019-09-20 10:47:18 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2019-09-20 10:50:21 +0100 |
| commit | 1755424806839d57a0c5672922a4b65b838f7d17 (patch) | |
| tree | 01a7702029892bf373f2371824eed0d7b308e2a9 /compiler/coreSyn | |
| parent | 1b7e1d31fee4176608e46d45ddc195e313eed978 (diff) | |
| download | haskell-1755424806839d57a0c5672922a4b65b838f7d17.tar.gz | |
Fix PmOracle.addVarCoreCt in-scope set
PmOracle.addVarCoreCt was giving a bogus (empty) in-scope set to
exprIsConApp_maybe, which resulted in a substitution-invariant
failure (see MR !1647 discussion).
This patch fixes it, by taking the free vars of the expression.
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreSubst.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreSubst.hs b/compiler/coreSyn/CoreSubst.hs index 2e3a0087f1..afb8946426 100644 --- a/compiler/coreSyn/CoreSubst.hs +++ b/compiler/coreSyn/CoreSubst.hs @@ -585,7 +585,7 @@ getTCvSubst :: Subst -> TCvSubst getTCvSubst (Subst in_scope _ tenv cenv) = TCvSubst in_scope tenv cenv -- | See 'Coercion.substCo' -substCo :: Subst -> Coercion -> Coercion +substCo :: HasCallStack => Subst -> Coercion -> Coercion substCo subst co = Coercion.substCo (getTCvSubst subst) co {- |