blob: 7b742e79057117994994188f5442672d1ee33616 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T20241b.hs:16:8: error:
• Boom
• In the type signature:
foo :: ((TypeError (Text "Boom") :: (Type -> Type)
-> Type -> Constraint) IO) a =>
Proxy a -> ()
T20241b.hs:20:8: error:
• Boom
• In the type signature:
bar :: ((c :: Constraint
-> Type -> Constraint) (((TypeError (Text "Boom") :: (Type -> Type)
-> Type
-> Constraint) IO) a)) a =>
Proxy a -> ()
|
