tc176 works now

ghc · Sep 8, 2008 · bf6d100 · bf6d100
1 parent 9e26901
commit bf6d100
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/tests/ghc-regress/typecheck/should_compile/all.T b/tests/ghc-regress/typecheck/should_compile/all.T
@@ -187,7 +187,7 @@ test('tc173',
 
 test('tc174', only_compiler_types(['ghc']), compile, [''])
 test('tc175', normal, compile, [''])
-test('tc176', normal, compile_fail, [''])
+test('tc176', normal, compile, [''])
 test('tc177', normal, compile, [''])
 test('tc178', normal, compile, [''])
 test('tc179', normal, compile, [''])

diff --git a/tests/ghc-regress/typecheck/should_compile/tc176.hs b/tests/ghc-regress/typecheck/should_compile/tc176.hs
@@ -18,6 +18,10 @@
 -- instances for line 8 is absolutely right, so I've changed this to
 -- expected-failure
 
+-- Sept 08: on further reflection (!) I'm changing it back
+-- See Note [Subtle interaction of recursion and overlap]
+-- in TcInstDcls
+
 module ShouldCompile  where
 
 class FromStr a where