tcfail093 should succeed

testsuite/tests/ghc-regress/typecheck/should_fail/all.T

@@ -78,7 +78,7 @@ test('tcfail089', normal, compile_fail, [''])
 test('tcfail090', only_compiler_types(['ghc']), compile_fail, [''])
 test('tcfail091', normal, compile_fail, [''])
 test('tcfail092', normal, compile_fail, [''])
-test('tcfail093', normal, compile_fail, [''])
+test('tcfail093', normal, compile, [''])
 test('tcfail094', normal, compile_fail, [''])
 test('tcfail095', only_compiler_types(['ghc']), compile_fail, [''])
 test('tcfail096', normal, compile_fail, [''])

testsuite/tests/ghc-regress/typecheck/should_fail/tcfail093.hs

@@ -8,6 +8,9 @@ module ShouldFail where
 -- "basicTypes/Var.lhs:194: Non-exhaustive patterns in function readMutTyVar"
 -- Reported by Thomas Hallgren Nov 00
 
+-- July 07: I'm changing this from "should fail" to "should succeed"
+-- See Note [Important subtlety in oclose] in FunDeps
+
 
 primDup :: Int -> IO Int
 primDup = undefined