diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-01-12 15:13:32 +0000 |
| commit | 4c68c2f97b25d58e7e1be03891ceff90d48d0936 (patch) | |
| tree | 7ca2f8ab2b81edad9ec151fe900c373da1ff31e6 /testsuite/tests/indexed-types/should_fail/T3330a.hs | |
| parent | ad0e1c9c577ee87a5da8fcf8530ddede06e94de4 (diff) | |
| download | haskell-4c68c2f97b25d58e7e1be03891ceff90d48d0936.tar.gz | |
Lots of error message wibbling, following the
major TcErrors refactoring
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T3330a.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T3330a.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T3330a.hs b/testsuite/tests/indexed-types/should_fail/T3330a.hs index c09eb0fd5c..c13760c6ac 100644 --- a/testsuite/tests/indexed-types/should_fail/T3330a.hs +++ b/testsuite/tests/indexed-types/should_fail/T3330a.hs @@ -7,7 +7,9 @@ module T3330a where -import Control.Monad.Writer +newtype Writer w a = Writer { runWriter :: (a, w) } +execWriter :: Writer w a -> w +execWriter m = snd (runWriter m) data AnyF (s :: * -> *) = AnyF class HFunctor (f :: (* -> *) -> * -> *) |