diff options
author | David Terei <davidterei@gmail.com> | 2011-07-20 11:09:03 -0700 |
---|---|---|
committer | David Terei <davidterei@gmail.com> | 2011-07-20 11:26:35 -0700 |
commit | 16514f272fb42af6e9c7674a9bd6c9dce369231f (patch) | |
tree | e4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/rebindable/rebindable8.hs | |
parent | ebd422aed41048476aa61dd4c520d43becd78682 (diff) | |
download | haskell-16514f272fb42af6e9c7674a9bd6c9dce369231f.tar.gz |
Move tests from tests/ghc-regress/* to just tests/*
Diffstat (limited to 'testsuite/tests/rebindable/rebindable8.hs')
-rw-r--r-- | testsuite/tests/rebindable/rebindable8.hs | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/rebindable8.hs b/testsuite/tests/rebindable/rebindable8.hs new file mode 100644 index 0000000000..2c1f484f47 --- /dev/null +++ b/testsuite/tests/rebindable/rebindable8.hs @@ -0,0 +1,26 @@ +{-# LANGUAGE RebindableSyntax, MultiParamTypeClasses #-} + +-- Trac #1537 + +module Foo where +import Prelude hiding (Monad(..)) + +class Bind m1 m2 m3 where + (>>=) :: m1 a -> (a -> m2 b) -> m3 b + +class Return m where + return :: a -> m a + fail :: String -> m a + +instance Bind Maybe [] [] where + Just x >>= f = f x + Nothing >>= f = [] + +instance Return [] where + return x = [x] + fail _ = [] + +should_compile :: [Int] +should_compile = do + a <- Just 1 + [a] |