blob: 5310989327a3c66b8a2762e0547f238e4bb36864 (
plain)
1
2
3
4
5
6
7
8
9
|
T11355.hs:5:7: error:
• Illegal polymorphic type: forall a. a
GHC doesn't yet support impredicative polymorphism
• In the expression:
const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
In an equation for ‘foo’:
foo
= const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
|