diff options
| author | Matthías Páll Gissurarson <mpg@mpg.is> | 2017-03-17 01:46:58 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-04-13 12:23:44 -0400 |
| commit | 13131ce9165b4e5e5193dc381f6f3d021e53792f (patch) | |
| tree | 29a7db0d73205da0b22b37a7eb9b79c0a8c64f49 | |
| parent | 1c6ce33d0a30d43c1e6276380900382cb57dee7d (diff) | |
| download | haskell-13131ce9165b4e5e5193dc381f6f3d021e53792f.tar.gz | |
Fix typo in TcErrors.hs
This fixes a very simple typo in TcErrors.hs. I hope this is small
enough in scope to be accepted through GitHub.
| -rw-r--r-- | compiler/typecheck/TcErrors.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcErrors.hs b/compiler/typecheck/TcErrors.hs index adbf3b2d51..eacdbb682f 100644 --- a/compiler/typecheck/TcErrors.hs +++ b/compiler/typecheck/TcErrors.hs @@ -430,7 +430,7 @@ they can give rise to improvement. Example (Trac #10100): instance Add Zero b b instance Add a b ab => Add (Succ a) b (Succ ab) The context (Add a b ab) for the instance is clearly unused in terms -of evidence, since the dictionary has no feilds. But it is still +of evidence, since the dictionary has no fields. But it is still needed! With the context, a wanted constraint Add (Succ Zero) beta (Succ Zero) we will reduce to (Add Zero beta Zero), and thence we get beta := Zero. |