blob: e5e54b95582a61bdfba33c9025b3fec558aa9ddb (
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
|
T14875.hs:(5,2)-(14,7): Splicing declarations
[d| f :: Bool -> Bool
f x
= case x of
(True :: Bool) -> True
(False :: Bool) -> False
g :: Bool -> Bool
g x
= (case x of
True -> True
False -> False) ::
Bool |]
======>
f :: Bool -> Bool
f x
= case x of
(True :: Bool) -> True
(False :: Bool) -> False
g :: Bool -> Bool
g x
= (case x of
True -> True
False -> False) ::
Bool
|
