summaryrefslogtreecommitdiff
path: root/testsuite/tests/rebindable/rebindable1.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/rebindable/rebindable1.hs')
-rw-r--r--testsuite/tests/rebindable/rebindable1.hs55
1 files changed, 55 insertions, 0 deletions
diff --git a/testsuite/tests/rebindable/rebindable1.hs b/testsuite/tests/rebindable/rebindable1.hs
new file mode 100644
index 0000000000..1fb0b596fb
--- /dev/null
+++ b/testsuite/tests/rebindable/rebindable1.hs
@@ -0,0 +1,55 @@
+{-# LANGUAGE RebindableSyntax, NPlusKPatterns #-}
+
+module RebindableCase1 where
+ {
+-- import Prelude;
+ import Prelude(String,undefined,Maybe(..), (==), (>=) );
+
+ return :: a;
+ return = undefined;
+
+ infixl 1 >>=;
+ (>>=) :: a;
+ (>>=) = undefined;
+
+ infixl 1 >>;
+ (>>) :: a;
+ (>>) = undefined;
+
+ fail :: a;
+ fail = undefined;
+
+ fromInteger :: a;
+ fromInteger = undefined;
+
+ fromRational :: a;
+ fromRational = undefined;
+
+ negate :: a;
+ negate = undefined;
+
+ (-) :: a;
+ (-) = undefined;
+
+
+ test_do f g = do
+ {
+ f;
+ Just a <- g;
+ return a;
+ };
+
+ test_fromInteger = 1;
+
+ test_fromRational = 0.5;
+
+ test_negate a = - a;
+
+ test_fromInteger_pattern 1 = undefined;
+ test_fromInteger_pattern (-1) = undefined;
+ test_fromInteger_pattern (a + 7) = a;
+
+ test_fromRational_pattern 0.5 = undefined;
+ test_fromRational_pattern (-0.5) = undefined;
+ test_fromRational_pattern _ = undefined;
+ }