blob: 1073c5030bc4b33d09cd537948b51b5939151c8f (
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
|
T17608.hs:(4,2)-(20,7): Splicing declarations
[d| infixl 4 `n`
infixl 4 `f`
f :: Bool
f = let
infixl 4 `h`
h :: () -> Bool -> Bool
h _ _ = True
in h () (g () ())
where
infixl 4 `g`
g :: () -> () -> Bool
g _ _ = True
class C a where
infixl 4 `m`
m :: a -> a -> a
n :: a -> a -> a |]
======>
infixl 4 `f`
f :: Bool
f = let
infixl 4 `h`
h :: () -> Bool -> Bool
h _ _ = True
in (h ()) ((g ()) ())
where
infixl 4 `g`
g :: () -> () -> Bool
g _ _ = True
infixl 4 `n`
class C a where
infixl 4 `m`
m :: a -> a -> a
n :: a -> a -> a
|