Unverified Commit 66d8fab3 authored by askeblad's avatar askeblad Committed by GitHub
Browse files

fix typos and reword (#828)

Typo and reword
parent ef473f7b
......@@ -12,7 +12,7 @@ defines the ``Seq`` data type.
Short Example
-------------
The following GHCi session shows some of the basic sequence funcitonality::
The following GHCi session shows some of the basic sequence functionality::
-- Import the Seq type and operators for combining sequences unqualified.
-- Import the rest of the Sequence module qualified.
......
......@@ -3360,8 +3360,8 @@ fromArray :: Ix i => Array i a -> Seq a
#ifdef __GLASGOW_HASKELL__
fromArray a = fromFunction (GHC.Arr.numElements a) (GHC.Arr.unsafeAt a)
where
-- The following definition uses (Ix i) constraing, which is needed for the
-- other fromArray definition.
-- The following definition uses an (Ix i) constraint, which is needed for
-- the other fromArray definition.
_ = Data.Array.rangeSize (Data.Array.bounds a)
#else
fromArray a = fromList2 (Data.Array.rangeSize (Data.Array.bounds a)) (Data.Array.elems a)
......
......@@ -1632,14 +1632,14 @@ maxView (Bin _ x l r) = Just $! toPair $ maxViewSure x l r
[ratio] is the ratio between an outer and inner sibling of the
heavier subtree in an unbalanced setting. It determines
whether a double or single rotation should be performed
to restore balance. It is correspondes with the inverse
to restore balance. It is corresponds with the inverse
of $\alpha$ in Adam's article.
Note that according to the Adam's paper:
- [delta] should be larger than 4.646 with a [ratio] of 2.
- [delta] should be larger than 3.745 with a [ratio] of 1.534.
But the Adam's paper is errorneous:
But the Adam's paper is erroneous:
- it can be proved that for delta=2 and delta>=5 there does
not exist any ratio that would work
- delta=4.5 and ratio=2 does not work
......
Supports Markdown
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