diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-15 13:33:57 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-06-15 13:33:57 +0100 |
| commit | e33ca0e54f3c20a8b233a3f7b38e4968a4955300 (patch) | |
| tree | da1d63d723e1bf524c980352ed4ff5fca2e1a8e0 | |
| parent | 70a458938c36849f78c6efc65a088289ebc4e293 (diff) | |
| download | haskell-e33ca0e54f3c20a8b233a3f7b38e4968a4955300.tar.gz | |
Fix testsuite wibble
..in typecheck/should_run/T7861
Was concealed behind the haddock perf noise
| -rw-r--r-- | testsuite/tests/typecheck/should_run/T7861.stderr | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/testsuite/tests/typecheck/should_run/T7861.stderr b/testsuite/tests/typecheck/should_run/T7861.stderr index e0aac9a558..e9ee5e91a7 100644 --- a/testsuite/tests/typecheck/should_run/T7861.stderr +++ b/testsuite/tests/typecheck/should_run/T7861.stderr @@ -1,13 +1,13 @@ T7861: T7861.hs:10:5: error: - Couldn't match type ‘a’ with ‘[a]’ - ‘a’ is a rigid type variable bound by - the type signature for: - f :: forall a. (forall b. a) -> a - at T7861.hs:9:6 - Expected type: (forall b. a) -> a - Actual type: (forall b. a) -> [a] - In the expression: doA - In an equation for ‘f’: f = doA - Relevant bindings include - f :: (forall b. a) -> a (bound at T7861.hs:10:1) + • Couldn't match type ‘a’ with ‘[a]’ + ‘a’ is a rigid type variable bound by + the type signature for: + f :: forall a. (forall b. a) -> a + at T7861.hs:9:1-23 + Expected type: (forall b. a) -> a + Actual type: (forall b. a) -> [a] + • In the expression: doA + In an equation for ‘f’: f = doA + • Relevant bindings include + f :: (forall b. a) -> a (bound at T7861.hs:10:1) (deferred type error) |