Jeroen Ketema
c74fca929a
Swift: Support TypeValueExpr and IntegerType
2025-05-02 14:47:56 +02:00
Jeroen Ketema
97d2ed8b3b
Swift: Support UnsafeCastExpr
2025-05-02 14:47:55 +02:00
Jeroen Ketema
10d86c9708
Swift: Disable parts of tests that crash with Swift 6.1
2025-04-23 17:10:56 +02:00
Jeroen Ketema
e135f5ddf6
Swift: Update ObjectLiteralExpr test
...
The entities now have proper error types instead of missing types.
2025-04-23 17:10:56 +02:00
Jeroen Ketema
b6076c0481
Swift: Update test results for ParenType no longer being extracted
2025-04-23 17:10:55 +02:00
Paolo Tranquilli
2910cb68ce
Swift: extract ExtracFunctionIsolationExpr
2025-04-14 10:35:21 +02:00
Paolo Tranquilli
1f356078ff
Swift: temporarily accept test changes
2024-10-31 15:57:31 +01:00
Tom Hvitved
4ab5a1a060
Swift: Run code generator
2024-09-16 13:40:02 +02:00
Paolo Tranquilli
0243d9f2b9
Swift: accept explicit any in existential type name
2024-03-27 13:49:15 +01:00
Paolo Tranquilli
b8e38288e3
Swift: add extraction of ThenStmt
...
These are currently added implicitly by the compiler in the context of
`if`/`switch` expressions. In the future, there might be explicit
`then <expr>` statement useful for cases where one would like to add
more than one statement in the branch, to mark what value to actually
use.
See https://forums.swift.org/t/pitch-multi-statement-if-switch-do-expressions/68443
2024-03-27 13:26:04 +01:00
Alex Denisov
20e95137f4
Swift: remove MaterizliePackExpr tests as they are only working on macOS 14
2023-11-24 09:55:10 +01:00
Alex Denisov
5cd74213cc
Swift: extract MaterizliePackExpr
2023-11-24 09:45:01 +01:00
Alex Denisov
002f2a0985
Swift: extract BorrowExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
d21e27c717
Swift: extract ConsumeExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
30e4822fb7
Swift: extract CopyExpr
2023-11-13 15:55:37 +01:00
Alex Denisov
e865c3cbd3
Swift: extract parameter packs
2023-11-10 10:20:14 +01:00
Alex Denisov
12f9e3a1dd
Swlft: fix CFG for SingleValueStmtExpr
2023-11-07 18:12:39 +01:00
Alex Denisov
df256e601a
Swlft: add explicit SingleValueStmtExpr test
2023-11-07 17:26:44 +01:00
Alex Denisov
33de177fea
Swift: extract SingleValueStmtExpr
2023-11-07 13:40:35 +01:00
Alex Denisov
bbde709b3f
Swift: upgrade to 5.9.1
2023-11-07 13:40:28 +01:00
Alex Denisov
743fd902a1
Swift: fix CFG for identity expressions (await, dot_self, parent)
2023-09-12 16:04:45 +02:00
Alexandre Boulgakov
81372d0b63
Merge commit '36d86787e6fbbb158a148f93eb63f829134fd6b1' into alexdenisov+redsun82/tuple-mangling
2023-06-28 12:21:59 +01:00
Paolo Tranquilli
17111c96e4
Swift: accept test expectation changes
2023-06-14 16:17:44 +02:00
Paolo Tranquilli
0b09fdae43
Merge branch 'main' into alexdenisov+redsun82/tuple-mangling
2023-06-07 10:40:38 +02:00
Paolo Tranquilli
5a2433244e
Swift: remove now passing PrintAstConsistency check
2023-05-26 08:58:49 +02:00
Paolo Tranquilli
51f1a5dcc8
Swift: remove getOpaqueExpr from OpenExistentialExpr's children
2023-05-25 13:05:21 +02:00
Paolo Tranquilli
7878bc3cc1
Swift: remove property wrapper AST inconsistencies
2023-05-25 12:15:22 +02:00
Paolo Tranquilli
63fb0581c2
Swift: accept inconsistencies for now
2023-05-24 20:09:46 +02:00
Paolo Tranquilli
20893bdef5
Swift: accept test changes after hidden AST fix
2023-05-22 10:14:29 +02:00
Nora Dimitrijević
91a151ec2a
Swift: update tests
2023-04-26 15:47:20 +02:00
Alexandre Boulgakov
35a2d55d18
Swift: Extract structured keypath components.
...
Changes in swift/ql/lib are generated by swift/codegen without manual intervention.
2023-04-11 13:34:17 +01:00
Paolo Tranquilli
feb4e60c4b
Swift: make all ql generation language agnostic
2023-02-27 09:46:48 +01:00
Nora Dimitrijević
f3ebb6e03b
Swift: MethodLookupExpr.getMethodRef() [codegen'd]
...
This refactors SelfApplyExpr.getFunction() as MethodLookupExpr().getMethodRef().
This is simpler, because we are not hiding DeclRefExprs or reinventing hidden AST resolution.
2022-12-20 23:09:02 -05:00
Nora Dimitrijević
95d4c304da
Swift: Fix .expected tests
...
Only UnsafeJsEval remains.
2022-12-14 15:02:15 -05:00
Nora Dimitrijević
f6d5e8db5f
Swift: update test .expected files
2022-12-14 14:27:59 -05:00
Nora Dimitrijević
2b060b1433
Swift: initial schema change (generated part)
2022-12-14 14:24:35 -05:00
Nora Dimitrijević
0c55561b8e
Swift: initial schema change (hand-written part)
2022-12-14 14:22:53 -05:00
Mathias Vorreiter Pedersen
05d89b29e2
Merge branch 'main' into skip-lvalue-types
2022-12-07 17:50:23 +00:00
Paolo Tranquilli
9b89ded908
Swift: accept test changes
2022-12-07 13:46:51 +01:00
Paolo Tranquilli
d39f37540e
Swift: add has and getNumberOf properties to generated tests
2022-12-07 13:46:51 +01:00
Mathias Vorreiter Pedersen
e7ec5a69a3
Swift: Accept more test changes.
2022-12-05 14:53:23 +00:00
Alex Denisov
f618d53302
Swift: add new implicit conversion
2022-11-30 12:40:34 +01:00
Paolo Tranquilli
d3ff4908e6
Merge branch 'main' into redsun82/swift-error-element
2022-11-11 14:05:47 +01:00
Paolo Tranquilli
a54853d3b4
Swift: cleanup orphaned test files
2022-11-10 16:20:28 +01:00
Paolo Tranquilli
6a816ba700
Swift: create common error test directory
2022-11-10 16:20:28 +01:00
Paolo Tranquilli
c5bb32d6d2
Swift: create common ErrorElement superclass
2022-11-10 16:20:28 +01:00
Paolo Tranquilli
e26e0ec809
Swift: remove imposible nodes from schema
...
We don't expect these AST types to really appear during an extraction
run, even in an unsuccessful compilation.
2022-11-10 15:26:55 +01:00
Paolo Tranquilli
de8e7b0f27
Swift: remove debug test and fix generation
2022-11-10 13:42:37 +01:00
Paolo Tranquilli
edfecddca1
Swift: extract AppliedPropertyWrapperExpr
2022-11-10 12:55:28 +01:00
Paolo Tranquilli
28c9d6b6b5
Swift: extract PropertyWrapperValuePlaceholderExpr
2022-11-10 11:28:05 +01:00
