Typo fixes
authorGabor Greif <ggreif@gmail.com>
Fri, 1 Aug 2014 00:03:08 +0000 (02:03 +0200)
committerGabor Greif <ggreif@gmail.com>
Fri, 1 Aug 2014 00:05:36 +0000 (02:05 +0200)
compiler/basicTypes/BasicTypes.lhs
compiler/main/DynFlags.hs
compiler/typecheck/TcBinds.lhs
compiler/types/InstEnv.lhs
docs/users_guide/glasgow_exts.xml
testsuite/tests/safeHaskell/ghci/p13.stderr

index c6fb26c..2f86db7 100644 (file)
@@ -508,7 +508,7 @@ data OverlapMode  -- See Note [Rules for instance lookup] in InstEnv
 
 
   | Overlaps
-    -- ^ Equiavalent to having both `Overlapping` and `Overlappable` flags.
+    -- ^ Equivalent to having both `Overlapping` and `Overlappable` flags.
 
   | Incoherent
     -- ^ Behave like Overlappable and Overlapping, and in addition pick
@@ -815,7 +815,7 @@ data InlinePragma            -- Note [InlinePragma]
       , inl_rule   :: RuleMatchInfo  -- Should the function be treated like a constructor?
     } deriving( Eq, Data, Typeable )
 
-data InlineSpec   -- What the user's INLINE pragama looked like
+data InlineSpec   -- What the user's INLINE pragma looked like
   = Inline
   | Inlinable
   | NoInline
index 9c45f41..ac049aa 100644 (file)
@@ -2873,7 +2873,7 @@ xFlags = [
   ( "GeneralizedNewtypeDeriving",       Opt_GeneralizedNewtypeDeriving, setGenDeriving ),
   ( "OverlappingInstances",             Opt_OverlappingInstances, 
     \ turn_on -> when turn_on
-               $ deprecate "instead use per-instance pragamas OVERLAPPING/OVERLAPPABLE/OVERLAPS" ),
+               $ deprecate "instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS" ),
   ( "UndecidableInstances",             Opt_UndecidableInstances, nop ),
   ( "IncoherentInstances",              Opt_IncoherentInstances, nop ),
   ( "PackageImports",                   Opt_PackageImports, nop ),
index 83a9591..34db200 100644 (file)
@@ -839,7 +839,7 @@ tcSpec _ prag = pprPanic "tcSpec" (ppr prag)
 
 --------------
 tcImpPrags :: [LSig Name] -> TcM [LTcSpecPrag]
--- SPECIALISE pragamas for imported things
+-- SPECIALISE pragmas for imported things
 tcImpPrags prags
   = do { this_mod <- getModule
        ; dflags <- getDynFlags
index 636147a..aba2d3d 100644 (file)
@@ -462,16 +462,16 @@ The willingness to be overlapped or incoherent is a property of the
 instance declaration itself, controlled as follows:
 
  * An instance is "incoherent"
-   if it has an INCOHERENT pragama, or
+   if it has an INCOHERENT pragma, or
    if it appears in a module compiled with -XIncoherentInstances.
 
  * An instance is "overlappable"
-   if it has an OVERLAPPABLE or OVERLAPS pragama, or
+   if it has an OVERLAPPABLE or OVERLAPS pragma, or
    if it appears in a module compiled with -XOverlappingInstances, or
    if the instance is incoherent.
 
  * An instance is "overlapping"
-   if it has an OVERLAPPING or OVERLAPS pragama, or
+   if it has an OVERLAPPING or OVERLAPS pragma, or
    if it appears in a module compiled with -XOverlappingInstances, or
    if the instance is incoherent.
      compiled with -XOverlappingInstances.
index 5166c28..84d6a62 100644 (file)
@@ -5062,11 +5062,11 @@ A more precise specification is as follows.
 The willingness to be overlapped or incoherent is a property of
 the <emphasis>instance declaration</emphasis> itself, controlled as follows:
 <itemizedlist>
-<listitem><para>An instance is <emphasis>incoherent</emphasis> if it has an <literal>INCOHERENT</literal> pragama, or if it appears in a module compiled with <literal>-XIncoherentInstances</literal>.
+<listitem><para>An instance is <emphasis>incoherent</emphasis> if it has an <literal>INCOHERENT</literal> pragma, or if it appears in a module compiled with <literal>-XIncoherentInstances</literal>.
 </para></listitem>
-<listitem><para>An instance is <emphasis>overlappable</emphasis> if it has an <literal>OVERLAPPABLE</literal> or <literal>OVERLAPS</literal> pragama, or if it appears in a module compiled with <literal>-XOverlappingInstances</literal>, or if the instance is incoherent.
+<listitem><para>An instance is <emphasis>overlappable</emphasis> if it has an <literal>OVERLAPPABLE</literal> or <literal>OVERLAPS</literal> pragma, or if it appears in a module compiled with <literal>-XOverlappingInstances</literal>, or if the instance is incoherent.
 </para></listitem>
-<listitem><para>An instance is <emphasis>overlapping</emphasis> if it has an <literal>OVERLAPPING</literal> or <literal>OVERLAPS</literal> pragama, or if it appears in a module compiled with <literal>-XOverlappingInstances</literal>, or if the instance is incoherent.
+<listitem><para>An instance is <emphasis>overlapping</emphasis> if it has an <literal>OVERLAPPING</literal> or <literal>OVERLAPS</literal> pragma, or if it appears in a module compiled with <literal>-XOverlappingInstances</literal>, or if the instance is incoherent.
 </para></listitem>
 </itemizedlist>
 The <option>-XOverlappingInstances</option> language extension is now deprecated in favour
index 44f8ff4..7a743f1 100644 (file)
@@ -1,6 +1,6 @@
 
 P13_A.hs:1:14: Warning:
-    -XOverlappingInstances is deprecated: instead use per-instance pragamas OVERLAPPING/OVERLAPPABLE/OVERLAPS
+    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
 
 <interactive>:11:1:
     Unsafe overlapping instances for Pos [Int]