blob: 1fb0b596fb44f223c800a7cc76a48b2b77499788 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
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;
}
|
