blob: 09374f243d66969d0d0c85c14ceeb00de302d79f (
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,3)-(14,6): 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
|