Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

tcfail138 now works

  • Loading branch information...
commit fa0a0a28f3f73e79ed42668b4a7da9b9833cd79b 1 parent 2b23d4d
@simonpj simonpj authored
View
5 tests/ghc-regress/typecheck/should_fail/all.T
@@ -122,7 +122,10 @@ test('tcfail134', normal, compile_fail, [''])
test('tcfail135', normal, compile_fail, [''])
test('tcfail136', normal, compile_fail, [''])
test('tcfail137', normal, compile_fail, [''])
-test('tcfail138', normal, compile_fail, [''])
+
+test('tcfail138', normal, compile, [''])
+# Now works; see notes in file
+
test('tcfail139', normal, compile_fail, [''])
test('tcfail140', expect_broken(451), compile_fail, [''])
test('tcfail141', only_compiler_types(['ghc']), compile_fail, [''])
View
6 tests/ghc-regress/typecheck/should_fail/tcfail138.hs
@@ -19,6 +19,12 @@
-- So, today, this program fails. It's trivial to fix by adding a fundep for C
-- class (G a, L a b) => C a b | a -> b
+-- Note: Sept 08: when fixing Trac #1470, tc138 started working!
+-- This test is a very strange one (fundeps, undecidable instances),
+-- so I'm just marking it as "should-succeed". It's not very clear to
+-- me what the "right" answer should be; when we have the type equality
+-- story more worked out we might want to think about that.
+
module ShouldFail where
class G a
View
8 tests/ghc-regress/typecheck/should_fail/tcfail138.stderr
@@ -1,8 +0,0 @@
-
-tcfail138.hs:29:9:
- Could not deduce (C a b') from the context (C a b)
- arising from the superclasses of an instance declaration
- at tcfail138.hs:29:9-31
- Possible fix:
- add (C a b') to the context of the instance declaration
- In the instance declaration for `C (Maybe a) a'
Please sign in to comment.
Something went wrong with that request. Please try again.