blob: 3c85950831c6cf7f3048a43f45fad0ed806058dc (
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
|
T15365.hs:(9,3)-(31,6): Splicing declarations
[d| (&&&) :: Bool -> Bool -> Bool
(&&&) = (&&)
pattern (:!!!) :: Bool
pattern (:!!!) = True
type (|||) = Either
data (***)
class (???)
data family ($$$)
type family (^^^)
type family (###) where
(###) = Int
instance (???)
data instance ($$$)
type instance (^^^) = Int |]
======>
type (|||) = Either
(&&&) :: Bool -> Bool -> Bool
(&&&) = (&&)
type role (***)
data (***)
class (???)
instance (???)
data family ($$$)
data instance ($$$)
type family (^^^)
type instance (^^^) = Int
type family (###) where
(###) = Int
pattern (:!!!) :: Bool
pattern (:!!!) = True
|
