diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-02-01 11:29:47 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-02-02 10:06:39 +0100 |
| commit | 8dd82ead7ddd65348bcbea4e2bb8defce4253173 (patch) | |
| tree | 22887ccbb12f2801b467ea0e05261ff6c036b9e9 /testsuite/tests/typecheck/should_compile/T6018.hs | |
| parent | eedb3df0c1c28a7abc43705d614239c1c6199a1f (diff) | |
| download | haskell-8dd82ead7ddd65348bcbea4e2bb8defce4253173.tar.gz | |
Spelling fixes
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T6018.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T6018.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T6018.hs b/testsuite/tests/typecheck/should_compile/T6018.hs index 91a67c5e57..b3094fe948 100644 --- a/testsuite/tests/typecheck/should_compile/T6018.hs +++ b/testsuite/tests/typecheck/should_compile/T6018.hs @@ -258,7 +258,7 @@ type IdSyn a = Id a type family IdProxySyn (a :: k) b = r | r -> a type instance IdProxySyn a b = (IdSyn a) b --- this has bare variable in the RHS but all LHS varaiables are also bare so it +-- this has bare variable in the RHS but all LHS variables are also bare so it -- should be accepted type family Fa (a :: k) (b :: k) = (r :: k2) | r -> k type instance Fa a b = a |