blob: 3c0ce349b97b436db5b37960f3732cc8ea51d078 (
plain)
1
2
3
4
5
6
7
|
T16326_Fail10.hs:12:18: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall a -> a -> a
(GHC does not yet support this)
• In the type signature for ‘x’: forall a -> a -> a
When checking the rewrite rule "flurmp"
|