diff options
| author | Rik Steenkamp <rik@ewps.nl> | 2016-01-16 13:18:53 +0100 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2016-01-16 13:19:30 +0100 |
| commit | 148a50b5f8a9db4c3e2724540c41a7a7a10b3194 (patch) | |
| tree | e051c65086c9b6c9ea6553fd50b7e0f878b08fa2 /docs | |
| parent | 3c6635ef4561ab53e51d7187c966b628a972b261 (diff) | |
| download | haskell-148a50b5f8a9db4c3e2724540c41a7a7a10b3194.tar.gz | |
Fix some typos
Differential Revision: https://phabricator.haskell.org/D1785
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index e77a7c0243..1457274af7 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -932,7 +932,7 @@ Given a pattern synonym definition of the form :: it is assigned a *pattern type* of the form :: - pattern P :: CReq => CProf => t1 -> t2 -> ... -> tN -> t + pattern P :: CReq => CProv => t1 -> t2 -> ... -> tN -> t where ⟨CProv⟩ and ⟨CReq⟩ are type contexts, and ⟨t1⟩, ⟨t2⟩, ..., ⟨tN⟩ and ⟨t⟩ are types. Notice the unusual form of the type, with two @@ -7976,7 +7976,7 @@ An implicit parameter is *bound* using the standard ``let`` or ``where`` binding forms. For example, we define the ``min`` function by binding ``cmp``. :: - min :: [a] -> a + min :: Ord a => [a] -> a min = let ?cmp = (<=) in least A group of implicit-parameter bindings may occur anywhere a normal group |