summaryrefslogtreecommitdiff
path: root/testsuite/tests/rebindable/rebindable6.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/rebindable/rebindable6.hs')
-rw-r--r--testsuite/tests/rebindable/rebindable6.hs21
1 files changed, 12 insertions, 9 deletions
diff --git a/testsuite/tests/rebindable/rebindable6.hs b/testsuite/tests/rebindable/rebindable6.hs
index ffd69f904b..ec975e7f37 100644
--- a/testsuite/tests/rebindable/rebindable6.hs
+++ b/testsuite/tests/rebindable/rebindable6.hs
@@ -1,15 +1,18 @@
-{-# LANGUAGE RebindableSyntax, NPlusKPatterns, RankNTypes,
- ScopedTypeVariables, FlexibleInstances #-}
+{-# LANGUAGE RebindableSyntax #-}
+{-# LANGUAGE NPlusKPatterns #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE FlexibleInstances #-}
+
module Main where
{
--- import Prelude;
import qualified Prelude;
import Prelude(String,undefined,Maybe(..),IO,putStrLn,
Integer,(++),Rational, (==), (>=) );
debugFunc :: String -> IO a -> IO a;
debugFunc s ioa = (putStrLn ("++ " ++ s)) Prelude.>>
- (ioa Prelude.>>= (\a ->
+ (ioa Prelude.>>= (\a ->
(putStrLn ("-- " ++ s)) Prelude.>> (Prelude.return a)
));
@@ -18,7 +21,7 @@ module Main where
returnIO :: a -> IO a;
returnIO = Prelude.return;
-
+
class HasReturn a where
{
return :: a;
@@ -107,10 +110,10 @@ module Main where
Just (b::b) <- g; -- >>= (and fail if g returns Nothing)
return b; -- return
};
-
+
test_fromInteger :: Integer;
test_fromInteger = 27;
-
+
test_fromRational :: Rational;
test_fromRational = 31.5;
@@ -129,7 +132,7 @@ module Main where
doTest :: String -> IO a -> IO ();
- doTest s ioa =
+ doTest s ioa =
(putStrLn ("start test " ++ s))
Prelude.>>
ioa
@@ -137,7 +140,7 @@ module Main where
(putStrLn ("end test " ++ s));
main :: IO ();
- main =
+ main =
(doTest "test_do failure"
(test_do (Prelude.return ()) (Prelude.return Nothing))
)