averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity
144,617 Commits 622 Branches 2,942 Tags
279dc4fe6b5ab2cbc9b4aca3e6767c3a432fd7b9
Commit Graph

2179 Commits

Author SHA1 Message Date
takeshi-1000
279dc4fe6b use dynamic variables and uppdate some logic 2022-12-27 19:53:36 +09:00
takeshi-1000
4bf8496874 fix indentation 2022-12-26 16:39:35 +09:00
takeshi-1000
3cdf5bca8c Fixed logic to apply to N levels of nesting 2022-12-26 15:10:50 +09:00
takeshi-1000
9835c4cd6a [CSSimplify] fix pattern matching logic which is as part of the enum element for closure 2022-12-26 09:11:49 +09:00
Holly Borla
0d3504fba6 Merge pull request #62729 from hborla/pack-diagnostics 
[CSDiagnostics] Add an error message for pack expansion expressions over packs that don't have the same shape.
 2022-12-21 13:44:08 -05:00
Holly Borla
42ede18fb0 Merge pull request #62713 from hborla/open-pack-element-type-repr 
[ConstraintSystem] Enable pack element type reprs in expressions.
 2022-12-21 10:48:42 -05:00
Holly Borla
e966b4ef7d [CSDiagnostics] Add an error message for pack expansion expressions over 
packs that don't have the same shape.
 2022-12-21 08:25:10 -05:00
Holly Borla
2df72f6bcc [ConstraintSystem] Strip pack expansions off of pack reference types in 
getUnopenedTypeOfReference.
 2022-12-20 22:13:40 -05:00
Robert Widmann
2b27330519 Merge pull request #62676 from valeriyvan/CSSimplify-simplify-condition 
[Refactoring] Simplify excessive conditional expression: (A && !B) || (!A && B) is equivalent to bool(A) != bool(B)
 2022-12-19 12:55:23 -07:00
Valeriy Van
194ecff898 Simplify conditional expression: (A && !B) || (!A && B) is equivalent to bool(A) != bool(B) 2022-12-19 15:26:52 +02:00
Holly Borla
2be16b84c5 [CSSimplify] Delay matching tuple types with unresolved pack expansions followed 
by an unlabeled element until pack type variables are resolved.
 2022-12-15 17:00:33 -05:00
Holly Borla
ea68720e12 [CSBindings] Instead of breaking a PackElementOf constraint down into Bind 
constraints, vend potential bindings through PotentialBindings::infer.

This allows for bidirectional binding inference from the pack type to the
element type and vice versa.
 2022-12-14 20:45:51 -08:00
Alex Hoppen
fe2ae72ad2 [IDE] Rename CodeCompletion to IDEInspection in cases where the code path no longer exclusively applies to code completion 
The code completio infrastructure is also being used for cursor info now, so it should no longer be called code completion.

rdar://103251187
 2022-12-13 11:41:05 +01:00
Alex Hoppen
9a0a7722f9 [IDE] Disable a few code completion specific paths for solver-based CursorInfo 
The lexer will be responsible for knowing whether we have a code completion token, everything else will also work for other IDE inspection features.

The changes start to really make sense once I rename CodeCompletion -> IDEInspection in a lot of places.
 2022-12-10 12:12:21 +01:00
Pavel Yaskevich
7588434007 [CSSimplify] Account for tuple splat when resolving closure parameters 
SE-0110 allows tuple slat between function types. The solver needs to
account for that when trying to infer parameter types from context
while resolving a closure in order to propagate types and speed up
type-checking.

Resolves: https://github.com/apple/swift/issues/62390
 2022-12-05 00:28:52 -08:00
Slava Pestov
b122977671 AST: Record both LHS and RHS index in PackExpansionMatcher.cpp 2022-12-01 15:25:20 -05:00
Doug Gregor
64f2c8ef0c Address a few comments about the specialization arguments constraint. 2022-11-28 18:33:11 -08:00
Doug Gregor
8adee85cb6 [Macros] Add support for explicit generic arguments of macros. 
Enable type checking support for explicitly specifying generic arguments to
a macro, e.g., `#stringify<Double>(1 + 2)`. To do so, introduce a new
kind of constraint that performs explicit argument matching against the
generic parameters of a macro only after the overload is chosen.
 2022-11-28 18:32:43 -08:00
Pavel Yaskevich
c17d35dc3e Merge pull request #62146 from xedin/rdar-102085039 
[AST] `getParameterAt` should check index before retrieving it
 2022-11-28 10:01:51 -08:00
Erik Eckstein
ab1b343dad use new llvm::Optional API 
`getValue` -> `value`
`getValueOr` -> `value_or`
`hasValue` -> `has_value`
`map` -> `transform`

The old API will be deprecated in the rebranch.
To avoid merge conflicts, use the new API already in the main branch.

rdar://102362022
 2022-11-21 19:44:24 +01:00
Pavel Yaskevich
77fb90ee19 [Sema/SILGen] Add asserts to getParameterAt call sites that expect non-null parameter 2022-11-17 11:52:00 -08:00
Angela Laar
dcfeff715b Merge pull request #61944 from angela-laar/refactor-generate-constraints-for-closures 
[CSClosure] Refactor generateConstraints
 2022-11-17 07:44:05 -08:00
Holly Borla
72e296e32b Merge pull request #62140 from hborla/variadic-generics-locators 
[ConstraintSystem] Add locator path elements for pack expansion patterns and pack shapes.
 2022-11-16 19:22:27 -08:00
Holly Borla
16b9654d4b [ConstraintSystem] Use specific locators when matching pack types. 2022-11-16 09:24:21 -08:00
Holly Borla
72d87b5ca5 [ConstraintSystem] Add a locator path element for the pattern of a pack expansion. 2022-11-16 09:06:58 -08:00
Holly Borla
5218a0d77a [ConstraintSystem] Add a locator path element for pack shapes, and use it for 
type variables representing pack shapes.
 2022-11-15 21:33:17 -08:00
Doug Gregor
e8838bc169 Merge pull request #62123 from DougGregor/pretty-stack-trace-macros 2022-11-15 19:26:24 -08:00
Angela Laar
8257cc1e10 [CSClosure] Generate constraints for empty closure body 
We should do this in the ConstraintGenerator instead of in a ConstraintSystem method.
 2022-11-15 16:14:38 -08:00
Angela Laar
b4549d63f0 [Constraint System] Refactor generateConstraints 
We don't need a separate generateConstraints function for closures.
 2022-11-15 16:13:58 -08:00
Doug Gregor
636e0145e0 [Constraint system] Make sure to check NULL for getParameterList(). 2022-11-15 15:00:52 -08:00
Doug Gregor
51fcde7b76 Merge pull request #62086 from DougGregor/macro-decl 2022-11-13 20:25:48 -08:00
Doug Gregor
bdf7762f55 [Macros] Start threading argument labels through macros. 2022-11-13 14:38:07 -08:00
Slava Pestov
30a1211a3b AST: Move getReducedShape() from CSSimplify.cpp to a method on TypeBase 2022-11-12 02:13:54 -05:00
Slava Pestov
16a84fc382 AST: Rename ProtocolDecl::getExistentialType() to getDeclaredExistentialType() 2022-11-07 18:38:06 -05:00
Pavel Yaskevich
cf5d41c6dd [CSSimplify] Increase contextual element mismatch impact when related to Any{Hashable} 
Impact is higher in this case because it means that other collection
or a pattern (in case of for-in loop) is structurally incompatible with
collection's element type.
 2022-11-01 17:09:46 -07:00
Pavel Yaskevich
91c013cae6 [CSSimplify] Don't record a fix if element/pattern type is a hole 
The situation would already be "fixed" at the source.
 2022-10-31 12:21:45 -07:00
Pavel Yaskevich
d56e62d65c [CSSimplify] Bind for-in patterns to holes if element type is Any 
If the element type is `Any` i.e. `for (x, y) in [] { ... }`
it would never match the pattern and the pattern (`rhs` = `(x, y)`)
doesn't have any other source of contextual information,
so instead of waiting for elements to become holes with an
unrelated fixes, let's proactively bind all of the pattern
elements to holes.

Resolves:  rdar://100343275
 2022-10-31 12:21:45 -07:00
Slava Pestov
3adb1dd1d0 Sema: Remove OpenParameterPackElements 2022-10-27 17:00:22 -04:00
Slava Pestov
46e782200a Sema: More complex PackExpansionType matching 2022-10-27 13:46:58 -04:00
Slava Pestov
12d21e42aa Sema: Handle PackExpansionType inside PackType when splitting up ConformsTo/SubclassOf constraints 2022-10-27 13:46:58 -04:00
Slava Pestov
9e5371d11a Sema: Fix long line 2022-10-27 13:46:58 -04:00
Doug Gregor
ed935297fa Merge pull request #61321 from DougGregor/open-existential-for-optional-param 2022-10-26 20:54:22 -07:00
Holly Borla
e2a41d126a Merge pull request #61737 from hborla/generic-environment-helpers 
[GenericEnvironment] Add helper methods for mapping pack types to opened element types and vice versa.
 2022-10-26 16:16:12 -07:00
Holly Borla
d09ea98ba6 [GenericEnvironment] Add helper methods to map pack interface types to 
element archetypes, and element interface types to pack archetypes.
 2022-10-26 00:04:56 -07:00
Holly Borla
1ab9f8f7c6 [AST] Add helper methods to GenericTypeParamType for converting a given type 
parameter to and from a pack type parameter.
 2022-10-26 00:04:56 -07:00
Slava Pestov
bb045423b3 Sema: Add diagnostics for ShapeOf constraint 2022-10-25 13:20:38 -04:00
Slava Pestov
731d903a43 Sema: Add ConstraintKind::ShapeOf 2022-10-25 12:55:04 -04:00
Holly Borla
25eb9efc60 Merge pull request #61678 from hborla/pack-expansion-expression-checking 
[Sema] Implement basic type checking for pack expansion expressions.
 2022-10-25 08:07:59 -07:00
Holly Borla
032c511754 [ConstraintSystem] Add a PackElementOf constraint to delay mapping opened 
element pattern types to pattern archetypes until after type variables are
resolved.
 2022-10-24 19:46:44 -07:00
Pavel Yaskevich
927b846a8f Merge pull request #61672 from xedin/rdar-101412179 
[CSSimplify] Diagnose contextual mismatch between fully resolved depe…
 2022-10-24 19:36:51 -07:00