[Git][ghc/ghc][wip/int-index/emb-type] 2 commits: VDQ: accept test suite changes
Vladislav Zavialov (@int-index)
gitlab at gitlab.haskell.org
Tue Dec 6 09:30:33 UTC 2022
Vladislav Zavialov pushed to branch wip/int-index/emb-type at Glasgow Haskell Compiler / GHC
Commits:
062bf0c9 by Vladislav Zavialov at 2022-12-06T12:24:02+03:00
VDQ: accept test suite changes
Not all of these are quite right: in some contexts, the suggestion
to enable RequiredTypeArguments is incorrect, as enabling the extension
wouldn't make the program accepted.
- - - - -
108c316a by Vladislav Zavialov at 2022-12-06T12:30:23+03:00
VDQ: mark T18863a broken
- - - - -
15 changed files:
- testsuite/tests/dependent/should_fail/T15859.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail1.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail10.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail11.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail12.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail2.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail3.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail4.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail5.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail6.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail8.stderr
- testsuite/tests/dependent/should_fail/T16326_Fail9.stderr
- testsuite/tests/dependent/should_fail/T17687.stderr
- testsuite/tests/dependent/should_fail/T18271.stderr
- testsuite/tests/saks/should_fail/all.T
Changes:
=====================================
testsuite/tests/dependent/should_fail/T15859.stderr
=====================================
@@ -2,8 +2,8 @@
T15859.hs:9:19: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall k -> k -> *
- (GHC does not yet support this)
• In an expression type signature: forall k -> k -> Type
In the expression: (undefined :: forall k -> k -> Type) @Int
In an equation for ‘a’:
a = (undefined :: forall k -> k -> Type) @Int
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail1.stderr
=====================================
@@ -2,12 +2,12 @@
T16326_Fail1.hs:5:8: 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: id1 :: forall a -> a -> a
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
T16326_Fail1.hs:9:8: 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 expansion of type synonym ‘Foo’
In the type signature: id2 :: Foo
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail10.stderr
=====================================
@@ -2,6 +2,6 @@
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"
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail11.stderr
=====================================
@@ -2,6 +2,6 @@
T16326_Fail11.hs:9:11: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall x -> x
- (GHC does not yet support this)
• When checking the class method: m :: forall a b. C a => b -> a
In the class declaration for ‘C’
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail12.stderr
=====================================
@@ -2,7 +2,7 @@
T16326_Fail12.hs:6:1: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall a -> Show a
- (GHC does not yet support this)
• In the context: forall a -> Show a
While checking the super-classes of class ‘C’
In the class declaration for ‘C’
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail2.stderr
=====================================
@@ -2,7 +2,7 @@
T16326_Fail2.hs:6:37: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall a -> a -> IO ()
- (GHC does not yet support this)
• In the type signature: blah :: forall a -> a -> IO ()
When checking declaration:
foreign import ccall safe "blah" blah :: forall a -> a -> IO ()
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail3.stderr
=====================================
@@ -2,4 +2,4 @@
T16326_Fail3.hs:6:1: error: [GHC-51580]
Illegal visible, dependent quantification in the type of a term:
forall a -> [a]
- (GHC does not yet support this)
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail4.stderr
=====================================
@@ -2,10 +2,10 @@
T16326_Fail4.hs:6:30: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall a1 -> Maybe a1 -> Maybe a1 -> Maybe a1
- (GHC does not yet support this)
• In an expression type signature:
forall a -> Maybe a -> Maybe a -> Maybe a
In the first argument of ‘zipWith’, namely
‘((<>) :: forall a -> Maybe a -> Maybe a -> Maybe a)’
In the expression:
zipWith ((<>) :: forall a -> Maybe a -> Maybe a -> Maybe a) xs ys
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail5.stderr
=====================================
@@ -2,8 +2,8 @@
T16326_Fail5.hs:7:20: error: [GHC-51580]
• Illegal visible, dependent quantification in the type of a term:
forall a1 -> Maybe a1
- (GHC does not yet support this)
• In a pattern type signature: forall a -> Maybe a
In the pattern: Nothing :: forall a -> Maybe a
In an equation for ‘isJust’:
isJust (Nothing :: forall a -> Maybe a) = False
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail6.stderr
=====================================
@@ -1,5 +1,5 @@
T16326_Fail6.hs:9:12: error: [GHC-51580]
- Illegal visible, dependent quantification in the type of a term
- (GHC does not yet support this)
- In the definition of data constructor ‘MkFoo’
+ • Illegal visible, dependent quantification in the type of a term
+ • In the definition of data constructor ‘MkFoo’
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail8.stderr
=====================================
@@ -1,5 +1,5 @@
T16326_Fail8.hs:7:10: error: [GHC-51580]
- Illegal visible, dependent quantification in the type of a term
- (GHC does not yet support this)
- In an instance declaration
+ • Illegal visible, dependent quantification in the type of a term
+ • In an instance declaration
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T16326_Fail9.stderr
=====================================
@@ -2,7 +2,7 @@
T16326_Fail9.hs:11:5: 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 expression: lol @(forall a -> a -> a) undefined True
In an equation for ‘t’:
t = lol @(forall a -> a -> a) undefined True
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T17687.stderr
=====================================
@@ -2,5 +2,5 @@
T17687.hs:5:6: 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: x :: forall a -> a -> a
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/dependent/should_fail/T18271.stderr
=====================================
@@ -1,5 +1,5 @@
T18271.hs:7:19: error: [GHC-51580]
- Illegal visible, dependent quantification in the type of a term
- (GHC does not yet support this)
- In a deriving declaration
+ • Illegal visible, dependent quantification in the type of a term
+ • In a deriving declaration
+ Suggested fix: Perhaps you intended to use RequiredTypeArguments
=====================================
testsuite/tests/saks/should_fail/all.T
=====================================
@@ -32,6 +32,6 @@ test('T16725', normal, compile_fail, [''])
test('T16826', normal, compile_fail, [''])
test('T16756b', normal, compile_fail, [''])
test('T16758', normal, compile_fail, [''])
-test('T18863a', normal, compile_fail, [''])
+test('T18863a', expect_broken(22326), compile_fail, ['']) # TODO (int-index): ticket for specificity subsumption
test('T18863b', normal, compile_fail, [''])
test('T20916', normal, compile_fail, [''])
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c0bd4ddea3d95b99354ff46b58be0eaa52ba5120...108c316ac365a61a89912d2b0eb77a7a59cdea13
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c0bd4ddea3d95b99354ff46b58be0eaa52ba5120...108c316ac365a61a89912d2b0eb77a7a59cdea13
You're receiving this email because of your account on gitlab.haskell.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20221206/15156c94/attachment-0001.html>
More information about the ghc-commits
mailing list