[commit: ghc] master: s/KnownLit/KnownSymbol/g and a typo fix (af913ad)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/af913ad24afda66762bc05949dc50bcd01da257d/ghc

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

commit af913ad24afda66762bc05949dc50bcd01da257d
Author: Gabor Greif <ggreif at gmail.com>
Date:   Fri Jun 27 00:11:14 2014 +0200

    s/KnownLit/KnownSymbol/g and a typo fix


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

af913ad24afda66762bc05949dc50bcd01da257d
 compiler/typecheck/TcEvidence.lhs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/compiler/typecheck/TcEvidence.lhs b/compiler/typecheck/TcEvidence.lhs
index 45f52d4..7fc6194 100644
--- a/compiler/typecheck/TcEvidence.lhs
+++ b/compiler/typecheck/TcEvidence.lhs
@@ -596,7 +596,7 @@ data EvTerm
                                  -- dictionaries, even though the former have no
                                  -- selector Id.  We count up from _0_
 
-  | EvLit EvLit       -- Dictionary for KnownNat and KnownLit classes.
+  | EvLit EvLit       -- Dictionary for KnownNat and KnownSymbol classes.
                       -- Note [KnownNat & KnownSymbol and EvLit]
 
   deriving( Data.Data, Data.Typeable)
@@ -653,7 +653,7 @@ Conclusion: a new wanted coercion variable should be made mutable.
 Note [KnownNat & KnownSymbol and EvLit]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 A part of the type-level literals implementation are the classes
-"KnownNat" and "KnownLit", which provide a "smart" constructor for
+"KnownNat" and "KnownSymbol", which provide a "smart" constructor for
 defining singleton values.  Here is the key stuff from GHC.TypeLits
 
   class KnownNat (n :: Nat) where
@@ -694,7 +694,7 @@ especialy when the `KnowNat` evidence is packaged up in an existential.
 
 The story for kind `Symbol` is analogous:
   * class KnownSymbol
-  * newypte SSymbol
+  * newtype SSymbol
   * Evidence: EvLit (EvStr n)