[commit: ghc] master: Tweaks to note; also fixed unicode quotes (7d958ce)

[git at git.haskell.org]

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

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

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

commit 7d958ce323e3433c9e996e1a240a5741bfcfc341
Author: Gabor Greif <ggreif at gmail.com>
Date:   Tue May 20 11:04:54 2014 +0200

    Tweaks to note; also fixed unicode quotes
    
    to regular ones.


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

7d958ce323e3433c9e996e1a240a5741bfcfc341
 compiler/typecheck/TcInteract.lhs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs
index fc8466b..832b8ee 100644
--- a/compiler/typecheck/TcInteract.lhs
+++ b/compiler/typecheck/TcInteract.lhs
@@ -2040,7 +2040,7 @@ Note [Coercible Instances]
 The class Coercible is special: There are no regular instances, and the user
 cannot even define them (it is listed as an `abstractClass` in TcValidity).
 Instead, the type checker will create instances and their evidence out of thin
-air, in getCoercibleInst. The following “instances” are present:
+air, in getCoercibleInst. The following "instances" are present:
 
  1. instance Coercible a a
     for any type a at any kind k.
@@ -2054,7 +2054,7 @@ air, in getCoercibleInst. The following “instances” are present:
     for a newtype constructor NT (or data family instance that resolves to a
     newtype) where
      * r is the concrete type of NT, instantiated with the arguments t1 t2 ...
-     * the constructor of NT are in scope.
+     * the constructor of NT is in scope.
 
     The newtype TyCon can appear undersaturated, but only if it has
     enough arguments to apply the newtype coercion (which is eta-reduced). Examples:
@@ -2080,7 +2080,7 @@ The type checker generates evidence in the form of EvCoercion, but the
 TcCoercion therein has role Representational,  which are turned into Core
 coercions by dsEvTerm in DsBinds.
 
-The evindence for the second case is created by deferTcSForAllEq, for the other
+The evidence for the second case is created by deferTcSForAllEq, for the other
 cases by getCoercibleInst.
 
 When the constraint cannot be solved, it is treated as any other unsolved
@@ -2093,7 +2093,7 @@ getCoercibleInst (in negated form).
 Note [Order of Coercible Instances]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
-At first glance, the order of the various coercible instance doesn't matter, as
+At first glance, the order of the various coercible instances doesn't matter, as
 incoherence is no issue here: We do not care how the evidence is constructed,
 as long as it is.