diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-06-21 16:16:20 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-06-22 12:05:34 +0200 |
| commit | 619958832cbe11096cae3dac9a0a7a5591163a00 (patch) | |
| tree | 15b7744c6389fc6cf6cf312afbbb10cb31570f1a /compiler/types | |
| parent | 4e7d8350a10167a7de8dd4d9ffd3a21194177c39 (diff) | |
| download | haskell-619958832cbe11096cae3dac9a0a7a5591163a00.tar.gz | |
More typos in comments [skip ci]
Diffstat (limited to 'compiler/types')
| -rw-r--r-- | compiler/types/FamInstEnv.hs | 2 | ||||
| -rw-r--r-- | compiler/types/TyCon.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/types/FamInstEnv.hs b/compiler/types/FamInstEnv.hs index 52c1004875..5fc8cbeb53 100644 --- a/compiler/types/FamInstEnv.hs +++ b/compiler/types/FamInstEnv.hs @@ -329,7 +329,7 @@ A FamInstEnv maps a family name to the list of known instances for that family. The same FamInstEnv includes both 'data family' and 'type family' instances. Type families are reduced during type inference, but not data families; -the user explains when to use a data family instance by using contructors +the user explains when to use a data family instance by using constructors and pattern matching. Nevertheless it is still useful to have data families in the FamInstEnv: diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs index ae97e34d8e..a275caa54b 100644 --- a/compiler/types/TyCon.hs +++ b/compiler/types/TyCon.hs @@ -215,7 +215,7 @@ See also Note [Wrappers for data instance tycons] in MkId.hs * The axiom ax_ti may be eta-reduced; see Note [Eta reduction for data family axioms] in TcInstDcls -* The data contructor T2 has a wrapper (which is what the +* The data constructor T2 has a wrapper (which is what the source-level "T2" invokes): $WT2 :: Bool -> T Int |