blob: 42f98069456ced6ce750dd94659093798e965a77 (
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
|
T15365.hs:(9,2)-(31,7): Splicing declarations
[d| (&&&) :: Bool -> Bool -> Bool
(&&&) = (&&)
pattern (:!!!) :: Bool
pattern (:!!!) = True
type role (***)
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
|
