Commit Graph

12 Commits

Author SHA1 Message Date
Slava Pestov
dac8d666ee Stop passing -requirement-machine-{abstract,inferred,protocol}-signatures flags in tests
These flags are now no-ops.
2022-05-10 12:56:17 -04:00
Slava Pestov
ea4884725d AST: WhereClauseOwner never visit the obsolete 'where' clause inside a GenericParamList
Otherwise, we'll end up visiting it twice in InferredGenericSignatureRequest.
The GSB uniques requirements seen this way, whereas the Requirement Machine
does not, leading to redundant requirement diagnostics.
2022-04-01 13:54:42 -04:00
Mark Lacey
78d83e5703 Use %target-typecheck-verify-swift where possible. 2018-07-26 23:13:43 -07:00
Huon Wilson
04fa7ce29d [Parse] Upgrade protocol<...> warnings to Swift 4 errors.
Part of rdar://problem/28961650 .
2017-07-12 13:17:40 -07:00
George Karpenkov
43d38d32fe Fixing grammar in error messages. (#10505)
Fixing grammar in error messages:

"is obsoleted" is only used in context of "X is obsoleted by Y".
When used as a rough synonym of "deprecated" the program grammar is "is
obsolete".
2017-06-26 13:33:26 -07:00
Ewa Matejska
fa6e207f62 Updating to have stronger working for warning and review feedback 2017-05-15 18:43:10 -07:00
Ewa Matejska
09fea35a12 more test updates 2017-05-15 17:46:22 -07:00
Ewa Matejska
10b9feb07e updating current test for swift 4 2017-05-15 16:37:50 -07:00
Doug Gregor
eaee4add8a [GSB] Track all conformance constraint sources.
Move the storage for the protocols to which a particular potential
archetype conforms into EquivalenceClass, so that it is more easily
shared. More importantly, keep track of *all* of the constraint
sources that produced a particular conformance requirement, so we can
revisit them later, which provides a number of improvements:

* We can drop self-derived requirements at the end, once we've
  established all of the equivalence classes
* We diagnose redundant conformance requirements, e.g., "T: Sequence"
  is redundant if "T: Collection" is already specified.
* We can choose the best path when forming the conformance access
  path.
2017-03-16 23:15:37 -10:00
David Farler
b7d17b25ba Rename -parse flag to -typecheck
A parse-only option is needed for parse performance tracking and the
current option also includes semantic analysis.
2016-11-28 10:50:55 -08:00
Jordan Rose
133c63c44b [Parse] Fix fix-it for old-style 'where' clauses. (#4198)
Previously it didn't handle parameters with protocol composition bounds
correctly.

rdar://problem/27648438
2016-08-11 14:38:06 -07:00
David Farler
7bfaeb57f1 [SE-0081] Warn on deprecated where clause inside angle brackets
and provide a fix-it to move it to the new location as referenced
in SE-0081.

Fix up a few stray places in the standard library that is still using
the old syntax.

Update any ./test files that aren't expecting the new warning/fix-it
in -verify mode.

While investigating what I thought was a new crash due to this new
diagnostic, I discovered two sources of quite a few compiler crashers
related to unterminated generic parameter lists, where the right
angle bracket source location was getting unconditionally set to
the current token, even though it wasn't actually a '>'.
2016-07-26 01:41:10 -07:00