diff options
author | Gabor Greif <ggreif@gmail.com> | 2016-07-22 00:10:32 +0200 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2016-07-22 00:10:32 +0200 |
commit | e710f8f52a66d0666ed681049e17902b3d12bb39 (patch) | |
tree | cae97c661329e8fc786ac09ae33b1e0c69bff170 /testsuite | |
parent | 8265c783dc26cb72e74a8fe89101049bb94c6db5 (diff) | |
download | haskell-e710f8f52a66d0666ed681049e17902b3d12bb39.tar.gz |
Correct a few mistyped words in prose/comments
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T10195.hs | 4 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T3108.hs | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T10195.hs b/testsuite/tests/typecheck/should_compile/T10195.hs index b1e18093ed..d79929bb2a 100644 --- a/testsuite/tests/typecheck/should_compile/T10195.hs +++ b/testsuite/tests/typecheck/should_compile/T10195.hs @@ -16,7 +16,7 @@ class Bar m m' instance (BarFamily m m' ~ 'True) => Bar m m' magic :: (Bar m m') => c m zp -> Foo m zp (c m' zq) --- Wierd test case: (Bar m m') is simplifiable +-- Weird test case: (Bar m m') is simplifiable magic = undefined getDict :: a -> Dict (Num a) @@ -26,7 +26,7 @@ fromScalar = undefined foo :: (Bar m m') => c m zp -> Foo m zp (c m' zq) -> Foo m zp (c m' zq) --- Wierd test case: (Bar m m') is simplifiable +-- Weird test case: (Bar m m') is simplifiable foo b (Foo sc) = let scinv = fromScalar sc in case getDict scinv of diff --git a/testsuite/tests/typecheck/should_compile/T3108.hs b/testsuite/tests/typecheck/should_compile/T3108.hs index be1dc540ca..3611bbc02b 100644 --- a/testsuite/tests/typecheck/should_compile/T3108.hs +++ b/testsuite/tests/typecheck/should_compile/T3108.hs @@ -29,7 +29,7 @@ class C1 x instance {-# OVERLAPPING #-} (C1 x, C1 y) => C1 (x,y) instance {-# OVERLAPPING #-} C1 Bool instance {-# OVERLAPPABLE #-} (C2 x y, C1 (y,Bool)) => C1 x --- Wierd test case: (C1 (y,Bool)) is simplifiable +-- Weird test case: (C1 (y,Bool)) is simplifiable class C2 x y | x -> y instance C2 Int Int |