A few typos in comments
authorGabor Greif <ggreif@gmail.com>
Mon, 21 Nov 2016 10:11:09 +0000 (11:11 +0100)
committerGabor Greif <ggreif@gmail.com>
Mon, 21 Nov 2016 10:11:09 +0000 (11:11 +0100)
compiler/basicTypes/Module.hs
compiler/iface/MkIface.hs
compiler/rename/RnSource.hs
compiler/typecheck/TcBinds.hs
compiler/typecheck/TcClassDcl.hs
compiler/typecheck/TcInteract.hs
testsuite/tests/concurrent/prog001/Trit.hs
testsuite/tests/typecheck/should_compile/twins.hs

index 98c30a9..78abf21 100644 (file)
@@ -189,7 +189,7 @@ import {-# SOURCE #-} Packages (componentIdString, improveUnitId, PackageConfigM
 --      - Same as Distribution.Package.ComponentId
 --
 -- UnitId/InstalledUnitId: A ComponentId + a mapping from hole names
--- (ModuleName) to Modules.  This is how the compiler identifies instantatiated
+-- (ModuleName) to Modules.  This is how the compiler identifies instantiated
 -- components, and also is the main identifier by which GHC identifies things.
 --      - When Backpack is not being used, UnitId = ComponentId.
 --        this means a useful fiction for end-users is that there are
index 4651418..9e6fa62 100644 (file)
@@ -1159,7 +1159,7 @@ check_old_iface hsc_env mod_summary src_modified maybe_iface
 -- two things may have changed that mean we should recompile M:
 --   * The interface export by a dependency of M has changed.
 --   * The compiler flags specified this time for M have changed
---     in a manner that is significant for recompilaiton.
+--     in a manner that is significant for recompilation.
 -- We return not just if we should recompile the object file but also
 -- if we should rebuild the interface file.
 checkVersions :: HscEnv
index c71abfa..4d0f926 100644 (file)
@@ -1267,8 +1267,8 @@ Consider this
 
 Here the declaration of S depends on the /data instance/ declaration
 for 'D Int'.  That makes things a lot more complicated, especially
-if the data instance is an assocaited type of an enclosing class instance.
-(And the class instance might have several assocatiated type instances
+if the data instance is an associated type of an enclosing class instance.
+(And the class instance might have several associated type instances
 with different dependency structure!)
 
 Ugh.  For now we simply don't allow promotion of data constructors for
index 60ef826..1c93962 100644 (file)
@@ -1399,7 +1399,7 @@ We typecheck pattern bindings as follows.  First tcLhs does this:
      gives us a fresh "mono_id" qm :: instantiate(ty), where qm has
      a fresh name.
 
-     Any fresh unification variables in instiatiate(ty) born here, not
+     Any fresh unification variables in instantiate(ty) born here, not
      deep under implications as would happen if we allocated them when
      we encountered q during tcPat.
 
index aa5e1c4..162e91a 100644 (file)
@@ -457,7 +457,7 @@ tcATDefault emit_warn loc inst_subst defined_ats (ATI fam_tc defs)
   | tyConName fam_tc `elemNameSet` defined_ats
   = return []
 
-  -- No user instance, have defaults ==> instatiate them
+  -- No user instance, have defaults ==> instantiate them
    -- Example:   class C a where { type F a b :: *; type F a b = () }
    --            instance C [x]
    -- Then we want to generate the decl:   type F [x] b = ()
index 9a94eef..005be19 100644 (file)
@@ -1731,7 +1731,7 @@ where G is injective; and wanted constraints
   [W] TF (alpha, beta) ~ fuv
   [W] fuv ~ (Int, <some type>)
 
-The injectivity will give rise to derived constraionts
+The injectivity will give rise to derived constraints
 
   [D] gamma1 ~ alpha
   [D] Int ~ beta
index b67d695..c42fe6d 100644 (file)
@@ -61,7 +61,7 @@ subTrits x y = addTrits x (neg y)
 
 
 
--- Shift left = *2 opertaion with Trit
+-- Shift left = *2 operation with Trit
 shiftLeft :: Trit -> Trit
 shiftLeft (x, (y:ys)) = (x++ [y], ys)
 
index 3fdc5b8..99c77aa 100644 (file)
@@ -2,7 +2,7 @@
 {-# LANGUAGE RankNTypes, LiberalTypeSynonyms #-}
 
 -- This test checks that deep skolemisation and deep
--- instanatiation work right.  A buggy prototype
+-- instantiation work right.  A buggy prototype
 -- of GHC 7.0, where the type checker generated wrong
 -- code, sent applyTypeToArgs into a loop.