diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-01-07 11:48:16 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-01-07 11:48:16 +0100 |
| commit | c78fedde7055490ca6f6210ada797190f3c35d87 (patch) | |
| tree | de4fc884f27401ef872607ed02a57ed03774cb28 /testsuite/tests/typecheck/should_compile/PolyRec.hs | |
| parent | 1ee92293651c0cc70504df1a4450febb986ad891 (diff) | |
| download | haskell-c78fedde7055490ca6f6210ada797190f3c35d87.tar.gz | |
Typos in docs and comments
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/PolyRec.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/PolyRec.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/PolyRec.hs b/testsuite/tests/typecheck/should_compile/PolyRec.hs index ddb911553a..6ca859ba5b 100644 --- a/testsuite/tests/typecheck/should_compile/PolyRec.hs +++ b/testsuite/tests/typecheck/should_compile/PolyRec.hs @@ -24,6 +24,6 @@ f (Y x) = g maybeToInt x -- g :: Functor f => (f Int -> b) -> f (Y Maybe) -> b
g h x = h $ fmap f x
--- 'test' checks that g's type is polymophic enough
+-- 'test' checks that g's type is polymorphic enough
test :: Functor f => (f Int -> b) -> f (Y Maybe) -> b
test = g
|