diff options
Diffstat (limited to 'testsuite/tests/rebindable/rebindable1.hs')
-rw-r--r-- | testsuite/tests/rebindable/rebindable1.hs | 55 |
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; + } |