diff options
author | Gabor Greif <ggreif@gmail.com> | 2017-01-17 17:39:33 +0100 |
---|---|---|
committer | Gabor Greif <ggreif@gmail.com> | 2017-01-18 09:37:19 +0100 |
commit | e324e317caab06fda232636c32e8a60d9e888a9c (patch) | |
tree | 573d703e0c0dcb92d48e46b98145e9283905ee05 /testsuite | |
parent | 2b61f52a0d0d636fb468756728c3ee0f5def8304 (diff) | |
download | haskell-e324e317caab06fda232636c32e8a60d9e888a9c.tar.gz |
Typos in comments only [ci skip]
Diffstat (limited to 'testsuite')
-rw-r--r-- | testsuite/tests/typecheck/should_run/tcrun042.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_run/tcrun042.hs b/testsuite/tests/typecheck/should_run/tcrun042.hs index ba4251c334..3b51d36c22 100644 --- a/testsuite/tests/typecheck/should_run/tcrun042.hs +++ b/testsuite/tests/typecheck/should_run/tcrun042.hs @@ -1,11 +1,11 @@ {-# LANGUAGE TupleSections, RankNTypes, ImpredicativeTypes #-} --- Sept 16: This test involves wholesale use of impredicative polymorhism +-- Sept 16: This test involves wholesale use of impredicative polymorphism -- and I'm amazed it has worked for so long. Anyway it is now --- failing, which is OK. We don't really suport impredicative +-- failing, which is OK. We don't really support impredicative -- polymorphism! -- --- The test was added by Max in 5e8ff849, appretly to test tuple sections +-- The test was added by Max in 5e8ff849, apparently to test tuple sections module Main where @@ -15,4 +15,4 @@ e = (,"Hello" ++ "World",) dropFunction :: (a, String, forall c. c -> c -> c) -> (a, String, Int) dropFunction (x, y, z) = (x, y, z 10 20) -main = print (dropFunction $ e "Meh" (flip const), dropFunction $ e 10 const)
\ No newline at end of file +main = print (dropFunction $ e "Meh" (flip const), dropFunction $ e 10 const) |