Typos in comments
authorGabor Greif <ggreif@gmail.com>
Mon, 31 Oct 2016 11:08:50 +0000 (12:08 +0100)
committerGabor Greif <ggreif@gmail.com>
Mon, 31 Oct 2016 11:28:53 +0000 (12:28 +0100)
12 files changed:
compiler/iface/MkIface.hs
compiler/rename/RnEnv.hs
compiler/typecheck/TcRnMonad.hs
compiler/typecheck/TcSMonad.hs
compiler/typecheck/TcTyClsDecls.hs
compiler/typecheck/TcType.hs
compiler/vectorise/Vectorise/Monad/Naming.hs
compiler/vectorise/Vectorise/Type/Env.hs
libraries/base/System/Console/GetOpt.hs
testsuite/tests/ffi/should_run/ffi005.hs
testsuite/tests/polykinds/T7332.hs
testsuite/tests/typecheck/should_compile/tc080.hs

index 25e75ef..9eac21c 100644 (file)
@@ -1024,7 +1024,7 @@ mkIfaceExports exports
     sort_flds = sortBy (stableNameCmp `on` flSelector)
 
 {-
-Note [Orignal module]
+Note [Original module]
 ~~~~~~~~~~~~~~~~~~~~~
 Consider this:
         module X where { data family T }
index b5f2463..056f25c 100644 (file)
@@ -1572,7 +1572,7 @@ respectively.  Initially, we just store the "standard" name (PrelNames.fromInteg
 fromRationalName etc), but the renamer changes this to the appropriate user
 name if Opt_NoImplicitPrelude is on.  That is what lookupSyntaxName does.
 
-We treat the orignal (standard) names as free-vars too, because the type checker
+We treat the original (standard) names as free-vars too, because the type checker
 checks the type of the user thing against the type of the standard thing.
 -}
 
index e4fdd9c..d3ae058 100644 (file)
@@ -1123,7 +1123,7 @@ error to report.  So this capture-the-emit dance isn't as stupid as it
 looks :-).
 
 However suppose we throw an exception inside an invocation of
-captureConstraints.  Then we'll discard all the costraints. But some
+captureConstraints.  Then we'll discard all the constraints. But some
 of those contraints might be "variable out of scope" Hole constraints,
 and that might have been the actual original cause of the exception!
 For example (Trac #12529):
index 504bc66..0d20122 100644 (file)
@@ -607,7 +607,7 @@ data InertCans   -- See Note [Detailed InertCans Invariants] for more
 
        , inert_safehask :: DictMap Ct
               -- Failed dictionary resolution due to Safe Haskell overlapping
-              -- instances restriction. We keep this seperate from inert_dicts
+              -- instances restriction. We keep this separate from inert_dicts
               -- as it doesn't cause compilation failure, just safe inference
               -- failure.
               --
index 734a3a3..aa6d44f 100644 (file)
@@ -742,7 +742,7 @@ tcTyClDecl1 _parent roles_info
             , tcdATs = ats, tcdATDefs = at_defs })
   = ASSERT( isNothing _parent )
     do { clas <- fixM $ \ clas ->
-            -- We need the knot becase 'clas' is passed into tcClassATs
+            -- We need the knot because 'clas' is passed into tcClassATs
             tcTyClTyVars class_name $ \ binders res_kind ->
             do { MASSERT( isConstraintKind res_kind )
                ; traceTc "tcClassDecl 1" (ppr class_name $$ ppr binders)
index e5c03bf..4dbe4a3 100644 (file)
@@ -303,7 +303,7 @@ data InferResult
        , ir_lvl  :: TcLevel -- See Note [TcLevel of ExpType] in TcMType
        , ir_inst :: Bool    -- True <=> deeply instantiate before returning
                             --           i.e. return a RhoType
-                            -- False <=> do not instantaite before returning
+                            -- False <=> do not instantiate before returning
                             --           i.e. return a SigmaType
        , ir_ref  :: IORef (Maybe TcType) }
          -- The type that fills in this hole should be a Type,
index 1cb8d87..0b46416 100644 (file)
@@ -35,7 +35,7 @@ import Control.Monad
 
 -- |Create a localised variant of a name, using the provided function to transform its `OccName`.
 --
--- If the name external, encode the orignal name's module into the new 'OccName'.  The result is
+-- If the name external, encode the original name's module into the new 'OccName'.  The result is
 -- always an internal system name.
 --
 mkLocalisedName :: (Maybe String -> OccName -> OccName) -> Name -> VM Name
index 421b1dd..d70de48 100644 (file)
@@ -330,7 +330,7 @@ vectTypeEnv tycons vectTypeDecls vectClassDecls
         }
 
     -- Add a mapping from the original to vectorised type constructor to the vectorisation map.
-    -- Unless the type constructor is abstract, also mappings from the orignal's data constructors
+    -- Unless the type constructor is abstract, also mappings from the original's data constructors
     -- to the vectorised type's data constructors.
     --
     -- We have three cases: (1) original and vectorised type constructor are the same, (2) the
index 3f36f1f..38cccc2 100644 (file)
@@ -124,7 +124,7 @@ data OptKind a                -- kind of cmd line arg (internal use only):
 -- second argument.
 usageInfo :: String                    -- header
           -> [OptDescr a]              -- option descriptors
-          -> String                    -- nicely formatted decription of options
+          -> String                    -- nicely formatted description of options
 usageInfo header optDescr = unlines (header:table)
    where (ss,ls,ds)     = (unzip3 . concatMap fmtOpt) optDescr
          table          = zipWith3 paste (sameLen ss) (sameLen ls) ds
index 63de955..9c17441 100644 (file)
@@ -1,4 +1,4 @@
--- !!! test for foreign import dynamic/wrapper, orignally by Alastair Reid,
+-- !!! test for foreign import dynamic/wrapper, originally by Alastair Reid,
 -- with a few changes to get it to run on GHC by Simon Marlow.
 
 import Foreign hiding ( unsafePerformIO )
index a18b32b..0d3e7e5 100644 (file)
@@ -63,8 +63,8 @@ hence
 Now things are delicate.  Either the instance Monoid (DC d) will fire or,
 if we are lucky, we might spot that (Monoid (DC d)) is a superclass of
 a given.  But now (Decl 15) we add superclasses lazily, so that is less
-likely to happen, and was always fragile.  So include (MOnoid d) in the
-signature, as was the case in the orignal ticket.
+likely to happen, and was always fragile.  So include (Monoid d) in the
+signature, as was the case in the original ticket.
 -}
 
 
index 78e413f..8b08d2d 100644 (file)
@@ -1,4 +1,4 @@
---module Parse(Parse(..),whiteSpace,seperatedBy) where
+--module Parse(Parse(..),whiteSpace,separatedBy) where
 --import StdLib
 module ShouldSucceed where
 
@@ -27,14 +27,14 @@ instance Parse Char where
        forced n = True
 
 instance (Parse a) => Parse [a] where
-        parseType more = (map parseLine (seperatedBy ',' (l++",")),out)
+        parseType more = (map parseLine (separatedBy ',' (l++",")),out)
                        where    (l,']':out) = span' (\x->x/=']') (tail more)
         forced = all forced
 
-seperatedBy :: Char -> String -> [String]
-seperatedBy ch [] = []
-seperatedBy ch xs = twaddle ch (span' (\x->x/=ch) xs)
-               where    twaddle ch (l,_:r) = l:seperatedBy ch r
+separatedBy :: Char -> String -> [String]
+separatedBy ch [] = []
+separatedBy ch xs = twaddle ch (span' (\x->x/=ch) xs)
+               where    twaddle ch (l,_:r) = l:separatedBy ch r
 
 whiteSpace :: String -> String
 whiteSpace = dropWhile isSpace