diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T16326_Fail10.stderr')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T16326_Fail10.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/T16326_Fail10.stderr b/testsuite/tests/dependent/should_fail/T16326_Fail10.stderr index bceccb1dcd..4ef380e5ba 100644 --- a/testsuite/tests/dependent/should_fail/T16326_Fail10.stderr +++ b/testsuite/tests/dependent/should_fail/T16326_Fail10.stderr @@ -3,5 +3,5 @@ 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 a RULE for ‘x’: forall a -> a -> a + • In the type signature for ‘x’: forall a -> a -> a When checking the transformation rule "flurmp" |