blob: 04d8b5a67d9bd27da06064ce7d9f82879d509ede (
plain)
1
2
3
4
5
6
7
8
9
10
|
T14605.hs:14:13: error:
• Couldn't match representation of type ‘x’ with that of ‘()’
arising from a use of ‘coerce’
‘x’ is a rigid type variable bound by
the type ()
at T14605.hs:14:1-49
• In the expression: coerce @(forall x. ()) @(forall x. x)
In an equation for ‘duplicate’:
duplicate = coerce @(forall x. ()) @(forall x. x)
|