diff options
| -rw-r--r-- | compiler/typecheck/TcGenDeriv.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcGenDeriv.hs b/compiler/typecheck/TcGenDeriv.hs index dce0b166e5..f282733b6a 100644 --- a/compiler/typecheck/TcGenDeriv.hs +++ b/compiler/typecheck/TcGenDeriv.hs @@ -2197,7 +2197,7 @@ coercing from. So from, say, ) :: a -> [T x] -> Int Notice that we give the 'coerce' call two type signatures: one to -fix the of the inner call, and one for the expected type. The outer +fix the type of the inner call, and one for the expected type. The outer type signature ought to be redundant, but may improve error messages. The inner one is essential to fix the type at which 'op' is called. |