From 1e4335ae4227421ea2d6f2b9676fc520d49e3d05 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Thu, 13 Mar 2008 06:50:06 +0000 Subject: [PATCH] typecheck/FD3: revert to error msg of previous version ofthe compiler --- .../ghc-regress/typecheck/should_compile/FD3.hs | 7 ------- .../typecheck/should_compile/FD3.stderr | 14 ++++---------- 2 files changed, 4 insertions(+), 17 deletions(-) diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs index ea9bbd20fb..333c0c31dd 100644 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs +++ b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.hs @@ -2,13 +2,6 @@ -- Trac #1795 --- This should fail. It used to fail saying it can't unify --- 'a' with '(String, a)' --- but now it simply says that it can't deduce --- (MkA (String, a) a) from the context () --- which is fair enough - - module ShouldCompile where data A a = A diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr index 184bebf0d3..04c74921d4 100644 --- a/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr +++ b/testsuite/tests/ghc-regress/typecheck/should_compile/FD3.stderr @@ -1,10 +1,4 @@ - -FD3.hs:22:14: - Could not deduce (MkA (String, a) a) from the context () - arising from a use of `mkA' at FD3.hs:22:14-18 - Possible fix: - add (MkA (String, a) a) to the context of - the type signature for `translate' - or add an instance declaration for (MkA (String, a) a) - In the expression: mkA a - In the definition of `translate': translate a = mkA a + +FD3.hs:15:0: + Occurs check: cannot construct the infinite type: a = (String, a) + When generalising the type(s) for `translate' -- GitLab