diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-07-31 17:34:43 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-07-31 17:34:43 +0200 |
| commit | 2ef973e823ffb128f9f3b4b85b219e1627dceabf (patch) | |
| tree | bdc2ea93b92e8cb0d064486cba5581d87516e728 /docs/core-spec | |
| parent | 4fdc523456ff6481df8d7483ae193f0c2dc2b3fe (diff) | |
| download | haskell-2ef973e823ffb128f9f3b4b85b219e1627dceabf.tar.gz | |
A bunch of typofixes
Diffstat (limited to 'docs/core-spec')
| -rw-r--r-- | docs/core-spec/CoreSyn.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/core-spec/CoreSyn.ott b/docs/core-spec/CoreSyn.ott index 578d200b6b..c42e38a980 100644 --- a/docs/core-spec/CoreSyn.ott +++ b/docs/core-spec/CoreSyn.ott @@ -318,7 +318,7 @@ terminals :: 'terminals_' ::= | no_duplicates :: :: no_duplicates {{ tex \textsf{no\_duplicates } }} | vars_of :: :: vars_of {{ tex \textsf{vars\_of } }} | not :: :: not {{ tex \neg }} - | isUnLiftedTyCon :: :: isUnLiftenTyCon {{ tex \textsf{isUnLiftedTyCon} }} + | isUnLiftedTyCon :: :: isUnLiftedTyCon {{ tex \textsf{isUnLiftedTyCon} }} | compatibleUnBoxedTys :: :: compatibleUnBoxedTys {{ tex \textsf{compatibleUnBoxedTys} }} | false :: :: false {{ tex \textsf{false} }} | true :: :: true {{ tex \textsf{true} }} |