blob: 4ef380e5ba39f427f5c01be66da0a86d7a2ee80a (
plain)
1
2
3
4
5
6
7
|
T16326_Fail10.hs:12:18: error:
• 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 transformation rule "flurmp"
|