diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-08-14 13:03:23 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-08-14 13:03:23 +0200 |
| commit | 7ad3b49161587f937facd1852742cc3fbaf1ffce (patch) | |
| tree | 4e63047e87a98a25537343cf596a19e798df5196 | |
| parent | 37a7bcbcbd9f68167c9c03fbd415e62919739d2d (diff) | |
| download | haskell-7ad3b49161587f937facd1852742cc3fbaf1ffce.tar.gz | |
Misspellings in comments [skip ci]
| -rw-r--r-- | compiler/coreSyn/CoreLint.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcEvidence.hs | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs index dead929943..97005222f2 100644 --- a/compiler/coreSyn/CoreLint.hs +++ b/compiler/coreSyn/CoreLint.hs @@ -1287,7 +1287,7 @@ lintCoercion :: OutCoercion -> LintM (LintedKind, LintedKind, LintedType, Linted -- Check the kind of a coercion term, returning the kind -- Post-condition: the returned OutTypes are lint-free -- --- If lintCorecion co = (k1, k2, s1, s2, r) +-- If lintCoercion co = (k1, k2, s1, s2, r) -- then co :: s1 ~r s2 -- s1 :: k2 -- s2 :: k2 diff --git a/compiler/typecheck/TcEvidence.hs b/compiler/typecheck/TcEvidence.hs index 71f5bb7b91..aaa1f0c5cd 100644 --- a/compiler/typecheck/TcEvidence.hs +++ b/compiler/typecheck/TcEvidence.hs @@ -80,8 +80,8 @@ kosher free variables. -} type TcCoercion = Coercion -type TcCoercionN = CoercionN -- A Nominal corecion ~N -type TcCoercionR = CoercionR -- A Representational corecion ~R +type TcCoercionN = CoercionN -- A Nominal coercion ~N +type TcCoercionR = CoercionR -- A Representational coercion ~R type TcCoercionP = CoercionP -- a phantom coercion mkTcReflCo :: Role -> TcType -> TcCoercion |