diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-18 14:12:54 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-06-18 14:15:59 +0100 |
| commit | 02bac0254182def11029e2f7373ba8d2ba9ebe44 (patch) | |
| tree | 9b254a1af59a751f28af395b98b52b51b0d61a39 /testsuite/tests/typecheck/should_compile/FD3.stderr | |
| parent | 4a7a6c3ac869f74dfe1c9af09c48faadc0ecba16 (diff) | |
| download | haskell-02bac0254182def11029e2f7373ba8d2ba9ebe44.tar.gz | |
Remove some horrible munging of origins for Coercible
I just didn't think it was buying enough for all the cruft it caused.
We can put some back if people start complaining about poor error
messages. I forget quite how I tripped over this but I got sucked in.
* Lots of tidying up in TcErrors
* Rename pprArisingAt to pprCtLoc, by analogy with pprCtOrigin
* Remove CoercibleOrigin data constructor from CtOrigin
* Make relevantBindings return a Ct with a zonked
and tidied CtOrigin
* Add to TcRnTypes
ctOrigin :: Ct -> CtOrigin
ctEvOrigin :: CtEvidence -> CtOrigin
setCtLoc :: Ct -> CtLoc -> Ct
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/FD3.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/FD3.stderr | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/FD3.stderr b/testsuite/tests/typecheck/should_compile/FD3.stderr index 179fda19e6..f4c60451d8 100644 --- a/testsuite/tests/typecheck/should_compile/FD3.stderr +++ b/testsuite/tests/typecheck/should_compile/FD3.stderr @@ -1,5 +1,14 @@ FD3.hs:15:15: error: - No instance for (MkA (String, a) a) arising from a use of ‘mkA’ + Couldn't match type ‘a’ with ‘(String, a)’ + arising from a functional dependency between: + constraint ‘MkA (String, a) a’ arising from a use of ‘mkA’ + instance ‘MkA a1 a1’ at FD3.hs:12:10-16 + ‘a’ is a rigid type variable bound by + the type signature for: translate :: (String, a) -> A a + at FD3.hs:14:14 + Relevant bindings include + a :: (String, a) (bound at FD3.hs:15:11) + translate :: (String, a) -> A a (bound at FD3.hs:15:1) In the expression: mkA a In an equation for ‘translate’: translate a = mkA a |