diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2022-09-14 16:23:48 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-14 22:40:09 -0400 |
| commit | df04d6ec6a543d8bf1b953cf27c26e63ec6aab25 (patch) | |
| tree | e3a3e88e10b4da7e57e73755147dd7928710ff17 /testsuite/tests/th | |
| parent | bdd61cd63dff07a78b1364988b5a140806f79e38 (diff) | |
| download | haskell-df04d6ec6a543d8bf1b953cf27c26e63ec6aab25.tar.gz | |
Fix typos
Diffstat (limited to 'testsuite/tests/th')
| -rw-r--r-- | testsuite/tests/th/T6018th.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/th/T6018th.hs b/testsuite/tests/th/T6018th.hs index 41e0b5e607..4fa0eb3716 100644 --- a/testsuite/tests/th/T6018th.hs +++ b/testsuite/tests/th/T6018th.hs @@ -33,7 +33,7 @@ $( return (ConT (mkName "Char"))) ] ) --- this is injective - a type variables mentioned on LHS is not mentioned on RHS +-- this is injective - a type variable mentioned on LHS is not mentioned on RHS -- but we don't claim injectivity in that argument. -- -- type family J a (b :: k) = r | r -> a |