diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-03-30 11:04:37 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-03-30 11:04:37 +0200 |
| commit | a76e6f55c28a176c175b45b7279a1d20286bf56b (patch) | |
| tree | d8d984e9853e6b9299886bf624539a844a2e7242 /docs | |
| parent | cb9a1e6875ac636f7c150ffacc272a2594a192dc (diff) | |
| download | haskell-a76e6f55c28a176c175b45b7279a1d20286bf56b.tar.gz | |
Typos in non-code
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/stg-spec/stg-spec.mng | 2 | ||||
| -rw-r--r-- | docs/users_guide/glasgow_exts.rst | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/docs/stg-spec/stg-spec.mng b/docs/stg-spec/stg-spec.mng index ce5ca3f40b..325410e218 100644 --- a/docs/stg-spec/stg-spec.mng +++ b/docs/stg-spec/stg-spec.mng @@ -139,7 +139,7 @@ application of a let-no-escape variable. \gram{\ottret} Values $v$ are functions (re-entrant closures) and constructors; thunks -are not considered vaules. Evaluation guarantees that a value will be +are not considered values. Evaluation guarantees that a value will be produced. Profiling also records allocation costs for creating objects on the heap: diff --git a/docs/users_guide/glasgow_exts.rst b/docs/users_guide/glasgow_exts.rst index b828ef642c..220e642733 100644 --- a/docs/users_guide/glasgow_exts.rst +++ b/docs/users_guide/glasgow_exts.rst @@ -4301,7 +4301,7 @@ all currently bundled constructors. For example, we could write: :: in which case, ``Example`` would export the type constructor ``MyNum`` with the data constructor ``MkNum`` and also the pattern synonym ``Zero``. -Bundled patterns synoyms are type checked to ensure that they are of the same +Bundled patterns synonyms are type checked to ensure that they are of the same type as the type constructor which they are bundled with. A pattern synonym ``P`` can not be bundled with a type constructor ``T`` if ``P``\'s type is visibly incompatible with ``T``. |