diff options
-rw-r--r-- | compiler/types/Type.hs | 2 | ||||
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T3234.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/Type.hs b/compiler/types/Type.hs index 3c58b3fc98..dffbaf31a4 100644 --- a/compiler/types/Type.hs +++ b/compiler/types/Type.hs @@ -2042,7 +2042,7 @@ isValidJoinPointType arity ty where valid_under tvs arity ty | arity == 0 - = tvs `intersectsVarSet` tyCoVarsOfType ty + = not (tvs `intersectsVarSet` tyCoVarsOfType ty) | Just (t, ty') <- splitForAllTy_maybe ty = valid_under (tvs `extendVarSet` t) (arity-1) ty' | Just (_, res_ty) <- splitFunTy_maybe ty diff --git a/testsuite/tests/simplCore/should_compile/T3234.stderr b/testsuite/tests/simplCore/should_compile/T3234.stderr index 223650af6d..64684631e5 100644 --- a/testsuite/tests/simplCore/should_compile/T3234.stderr +++ b/testsuite/tests/simplCore/should_compile/T3234.stderr @@ -58,8 +58,8 @@ Total ticks: 52 1 b 1 c 1 n - 1 b 1 a + 1 b 1 k 1 z 1 g |