diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-06 13:55:26 +0200 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2021-08-06 13:55:26 +0200 |
| commit | 12f6fec47ea1a897747fbf30f74da262ab5ad7ef (patch) | |
| tree | 5c510014468bf9dd2db25f924bc9dd9e971c4b10 | |
| parent | 3957e1b138042fb550fb75a3efd2f0557fd7e416 (diff) | |
| download | haskell-wip/test-defaulting.tar.gz | |
Test defaulting, part 2wip/test-defaulting
| -rw-r--r-- | compiler/GHC/Iface/Type.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Iface/Type.hs b/compiler/GHC/Iface/Type.hs index 33f6bbc425..06033bda37 100644 --- a/compiler/GHC/Iface/Type.hs +++ b/compiler/GHC/Iface/Type.hs @@ -1065,7 +1065,7 @@ defaultNonStandardVars do_runtimereps do_multiplicities ty = go False emptyFsEnv -- See Note [Defaulting RuntimeRep variables], about free vars | const False in_kind && do_runtimereps && GHC.Core.Type.isRuntimeRepTy (tyVarKind tv) = liftedRep_ty - | do_multiplicities && GHC.Core.Type.isMultiplicityTy (tyVarKind tv) + | const False do_multiplicities && GHC.Core.Type.isMultiplicityTy (tyVarKind tv) = many_ty | otherwise = ty |