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 /compiler/coreSyn | |
| parent | 37a7bcbcbd9f68167c9c03fbd415e62919739d2d (diff) | |
| download | haskell-7ad3b49161587f937facd1852742cc3fbaf1ffce.tar.gz | |
Misspellings in comments [skip ci]
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreLint.hs | 2 |
1 files changed, 1 insertions, 1 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 |