[commit: ghc] master: typos in note (3a82618)

Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/3a8261827fd9e66251a4a8bf91a22ae075bfdcb9

>---------------------------------------------------------------

commit 3a8261827fd9e66251a4a8bf91a22ae075bfdcb9
Author: Gabor Greif <[email protected]>
Date:   Mon Nov 26 16:04:33 2012 +0100

    typos in note

>---------------------------------------------------------------

 compiler/types/Kind.lhs |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/types/Kind.lhs b/compiler/types/Kind.lhs
index 6ce2dd9..2041508 100644
--- a/compiler/types/Kind.lhs
+++ b/compiler/types/Kind.lhs
@@ -1,5 +1,5 @@
 %
-% (c) The University of Glasgow 2006
+% (c) The University of Glasgow 2006-2012
 %
 
 \begin{code}
@@ -80,11 +80,11 @@ The special thing about types of kind Constraint is that
    engine inserts an extra argument of type (Ord a) at every call site
    to f.
 
-Howver, once type inference is over, there is *no* distinction between 
+However, once type inference is over, there is *no* distinction between 
 Constraint and *.  Indeed we can have coercions between the two. Consider
    class C a where
      op :: a -> a
-For this single-method class we may genreate a newtype, which in turn 
+For this single-method class we may generate a newtype, which in turn 
 generates an axiom witnessing
     Ord a ~ (a -> a)
 so on the left we have Constraint, and on the right we have *.