Commit 09938f29 authored by Gabor Greif's avatar Gabor Greif 💬

Typos [ci skip]

parent 410906b2
......@@ -1879,7 +1879,7 @@ AC_DEFUN([GHC_CONVERT_VENDOR],[
# converts os from gnu to ghc naming, and assigns the result to $target_var
AC_DEFUN([GHC_CONVERT_OS],[
case "$1" in
# watchos and tvos are ios variant as of May 2017.
# watchos and tvos are ios variants as of May 2017.
ios|watchos|tvos)
$3="ios"
;;
......
......@@ -233,7 +233,7 @@ It's a flaw in the language.
it separately in the type checker on occurrences of a
constructor, either in an expression or in a pattern.
[May 2003: actually I think this decision could evasily be
[May 2003: actually I think this decision could easily be
reversed now, and probably should be. Generics could be
disabled for types with a stupid context; record updates now
(H98) needs the context too; etc. It's an unforced change, so
......
......@@ -2524,7 +2524,7 @@ alternativeLayoutRuleToken t
(_, ALRLayout _ col : _ls, Just expectingOCurly)
| (thisCol > col) ||
(thisCol == col &&
isNonDecreasingIntentation expectingOCurly) ->
isNonDecreasingIndentation expectingOCurly) ->
do setAlrExpectingOCurly Nothing
setALRContext (ALRLayout expectingOCurly thisCol : context)
setNextToken t
......@@ -2668,9 +2668,9 @@ isALRclose ITccurly = True
isALRclose ITcubxparen = True
isALRclose _ = False
isNonDecreasingIntentation :: ALRLayout -> Bool
isNonDecreasingIntentation ALRLayoutDo = True
isNonDecreasingIntentation _ = False
isNonDecreasingIndentation :: ALRLayout -> Bool
isNonDecreasingIndentation ALRLayoutDo = True
isNonDecreasingIndentation _ = False
containsCommas :: Token -> Bool
containsCommas IToparen = True
......
......@@ -849,7 +849,7 @@ lookupFamInstEnvInjectivityConflicts
-- INVARIANT: list contains at least one True value
-> FamInstEnvs -- all type instances seens so far
-> FamInst -- new type instance that we're checking
-> [CoAxBranch] -- conflicting instance delcarations
-> [CoAxBranch] -- conflicting instance declarations
lookupFamInstEnvInjectivityConflicts injList (pkg_ie, home_ie)
fam_inst@(FamInst { fi_axiom = new_axiom })
-- See Note [Verifying injectivity annotation]. This function implements
......
......@@ -9497,7 +9497,7 @@ Here are the details:
visible type application.
* Universal variables always come first, in precisely the order they
appear in the type delcaration. Universal variables that are
appear in the type declaration. Universal variables that are
constrained by a GADT return type are not included in the data constructor.
* Existential variables come next. Their order is determined by a user-
......
......@@ -30,7 +30,7 @@ dropLeadingPathSeparator :: FilePath -> FilePath
dropLeadingPathSeparator p | isAbsolute p = joinPath (drop 1 (splitPath p))
| otherwise = p
-- | Path concatication that prevents a double path separator to appear in the
-- | Path concatenation that prevents a double path separator to appear in the
-- final path. "/foo/bar/" <//> "/baz/quux" == "/foo/bar/baz/quux"
(<//>) :: FilePath -> FilePath -> FilePath
lhs <//> rhs = dropTrailingPathSeparator lhs </> dropLeadingPathSeparator rhs
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment