diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-03 23:27:21 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-06 14:18:44 +0000 |
| commit | 00e1fc1b18e1b5aa5db18bee9f9adc67435f00b0 (patch) | |
| tree | debc157bb5e87e8cf464f9fd9517c089a9dd5861 /testsuite/tests/typecheck/should_fail/T5300.stderr | |
| parent | f17992a4954ac14cc6a3fe6a61ec6544a098da93 (diff) | |
| download | haskell-00e1fc1b18e1b5aa5db18bee9f9adc67435f00b0.tar.gz | |
Modify a couple of error messages slightly
In particular
In the type signature for:
f :: Int -> Int
I added the colon
Also reword the "maybe you haven't applied a function to enough arguments?"
suggestion to make grammatical sense.
These tiny changes affect a lot of error messages.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T5300.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T5300.stderr | 64 |
1 files changed, 32 insertions, 32 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T5300.stderr b/testsuite/tests/typecheck/should_fail/T5300.stderr index 14e069af9b..2adbed420b 100644 --- a/testsuite/tests/typecheck/should_fail/T5300.stderr +++ b/testsuite/tests/typecheck/should_fail/T5300.stderr @@ -1,32 +1,32 @@ - -T5300.hs:11:7: - Could not deduce (C1 a b c0) - from the context (Monad m, C1 a b c) - bound by the type signature for - f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a - at T5300.hs:11:7-50 - The type variable ‘c0’ is ambiguous - In the ambiguity check for the type signature for ‘f1’: - f1 :: forall a b (m :: * -> *) c. - (Monad m, C1 a b c) => - a -> StateT (T b) m a - To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‘f1’: - f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a - -T5300.hs:14:7: - Could not deduce (C2 a2 b2 c20) - from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) - bound by the type signature for - f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) => - a1 -> StateT (T b2) m a2 - at T5300.hs:14:7-69 - The type variable ‘c20’ is ambiguous - In the ambiguity check for the type signature for ‘f2’: - f2 :: forall a1 b2 (m :: * -> *) a2 b1 c1 c2. - (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) => - a1 -> StateT (T b2) m a2 - To defer the ambiguity check to use sites, enable AllowAmbiguousTypes - In the type signature for ‘f2’: - f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) => - a1 -> StateT (T b2) m a2 +
+T5300.hs:11:7:
+ Could not deduce (C1 a b c0)
+ from the context (Monad m, C1 a b c)
+ bound by the type signature for:
+ f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+ at T5300.hs:11:7-50
+ The type variable ‘c0’ is ambiguous
+ In the ambiguity check for the type signature for ‘f1’:
+ f1 :: forall a b (m :: * -> *) c.
+ (Monad m, C1 a b c) =>
+ a -> StateT (T b) m a
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature for ‘f1’:
+ f1 :: (Monad m, C1 a b c) => a -> StateT (T b) m a
+
+T5300.hs:14:7:
+ Could not deduce (C2 a2 b2 c20)
+ from the context (Monad m, C1 a1 b1 c1, C2 a2 b2 c2)
+ bound by the type signature for:
+ f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+ a1 -> StateT (T b2) m a2
+ at T5300.hs:14:7-69
+ The type variable ‘c20’ is ambiguous
+ In the ambiguity check for the type signature for ‘f2’:
+ f2 :: forall a1 b2 (m :: * -> *) a2 b1 c1 c2.
+ (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+ a1 -> StateT (T b2) m a2
+ To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+ In the type signature for ‘f2’:
+ f2 :: (Monad m, C1 a1 b1 c1, C2 a2 b2 c2) =>
+ a1 -> StateT (T b2) m a2
|