summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcEvidence.hs
diff options
context:
space:
mode:
authorGabor Greif <ggreif@gmail.com>2016-02-26 15:48:10 +0100
committerGabor Greif <ggreif@gmail.com>2016-02-26 15:48:10 +0100
commita02611210b9846ee18de179c932915a838fdacb5 (patch)
treec7131c9540c25c6617c3a249b0075afcea20b369 /compiler/typecheck/TcEvidence.hs
parentbbfff2298d7ea7d0f4e590f8137f43a651e8f61d (diff)
downloadhaskell-a02611210b9846ee18de179c932915a838fdacb5.tar.gz
Typos in comments, etc.
Diffstat (limited to 'compiler/typecheck/TcEvidence.hs')
-rw-r--r--compiler/typecheck/TcEvidence.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcEvidence.hs b/compiler/typecheck/TcEvidence.hs
index 30ce159aed..e3626c1731 100644
--- a/compiler/typecheck/TcEvidence.hs
+++ b/compiler/typecheck/TcEvidence.hs
@@ -512,7 +512,7 @@ a more convenient function, defined in terms of `natSing`:
The reason we don't use this directly in the class is that it is simpler
and more efficient to pass around an integer rather than an entier function,
-especialy when the `KnowNat` evidence is packaged up in an existential.
+especially when the `KnowNat` evidence is packaged up in an existential.
The story for kind `Symbol` is analogous:
* class KnownSymbol