blob: c56bd105dbee6aa7f7704a9e37074f5c57d24422 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T16326_Fail1.hs:5:8: 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: id1 :: forall a -> a -> a
T16326_Fail1.hs:9:8: error:
• Illegal visible, dependent quantification in the type of a term:
forall a -> a -> a
(GHC does not yet support this)
• In the expansion of type synonym ‘Foo’
In the type signature: id2 :: Foo
|
