Swift Package IndexBuild Information
Successful build of LogicKit, reference 2.1.0 (3e3245), with Swift 6.1 for macOS (SPM) on 26 Apr 2025 14:15:23 UTC.
Swift 6 data race errors: 9
Build Command
env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCapturesBuild Log
========================================
RunAll
========================================
Builder version: 4.61.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/kyouko-taiga/logickit.git
Reference: 2.1.0
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/kyouko-taiga/logickit
* tag 2.1.0 -> FETCH_HEAD
HEAD is now at 3e32454 Update Swift's version in CI configuration
Cloned https://github.com/kyouko-taiga/logickit.git
Revision (git rev-parse @):
3e32454479684da7f37f8fe31c73724735b71d04
SUCCESS checkout https://github.com/kyouko-taiga/logickit.git at 2.1.0
========================================
ResolveProductDependencies
========================================
Resolving dependencies ...
{
"identity": ".resolve-product-dependencies",
"name": "resolve-dependencies",
"url": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies",
"dependencies": [
{
"identity": "logickit",
"name": "LogicKit",
"url": "https://github.com/kyouko-taiga/logickit.git",
"version": "unspecified",
"path": "/Users/admin/builder/spi-builder-workspace/.resolve-product-dependencies/.build/checkouts/logickit",
"dependencies": [
]
}
]
}
Fetching https://github.com/kyouko-taiga/logickit.git
[11/515] Fetching logickit
Fetched https://github.com/kyouko-taiga/logickit.git from cache (0.70s)
Creating working copy for https://github.com/kyouko-taiga/logickit.git
Working copy of https://github.com/kyouko-taiga/logickit.git resolved at 2.1.0 (3e32454)
warning: '.resolve-product-dependencies': dependency 'logickit' is not used by any target
Found 0 product dependencies
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.1
Building package at path: $PWD
https://github.com/kyouko-taiga/logickit.git
https://github.com/kyouko-taiga/logickit.git
{
"dependencies" : [
],
"manifest_display_name" : "LogicKit",
"name" : "LogicKit",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "LogicKit",
"targets" : [
"LogicKit",
"LogicKitBuiltins"
],
"type" : {
"library" : [
"static"
]
}
}
],
"targets" : [
{
"c99name" : "LogicKitTests",
"module_type" : "SwiftTarget",
"name" : "LogicKitTests",
"path" : "Tests/LogicKitTests",
"sources" : [
"BindingMapTests.swift",
"KnowledgeBaseTests.swift",
"LogicKitTests.swift",
"XCTestManifests.swift"
],
"target_dependencies" : [
"LogicKit"
],
"type" : "test"
},
{
"c99name" : "LogicKitBuiltinsTests",
"module_type" : "SwiftTarget",
"name" : "LogicKitBuiltinsTests",
"path" : "Tests/LogicKitBuiltinsTests",
"sources" : [
"ListTests.swift",
"NatTests.swift"
],
"target_dependencies" : [
"LogicKitBuiltins"
],
"type" : "test"
},
{
"c99name" : "LogicKitBuiltins",
"module_type" : "SwiftTarget",
"name" : "LogicKitBuiltins",
"path" : "Sources/LogicKitBuiltins",
"product_memberships" : [
"LogicKit"
],
"sources" : [
"List.swift",
"Nat.swift"
],
"target_dependencies" : [
"LogicKit"
],
"type" : "library"
},
{
"c99name" : "LogicKit",
"module_type" : "SwiftTarget",
"name" : "LogicKit",
"path" : "Sources/LogicKit",
"product_memberships" : [
"LogicKit"
],
"sources" : [
"AnswerSet.swift",
"BindingMap.swift",
"EDSL.swift",
"KnowledgeBase.swift",
"Logger.swift",
"Realizer.swift",
"Sequence+Extensions.swift",
"Term.swift"
],
"type" : "library"
}
],
"tools_version" : "4.2"
}
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-16.3.0.app xcrun swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete -Xswiftc -enable-upcoming-feature -Xswiftc StrictConcurrency -Xswiftc -enable-upcoming-feature -Xswiftc DisableOutwardActorInference -Xswiftc -enable-upcoming-feature -Xswiftc GlobalActorIsolatedTypesUsability -Xswiftc -enable-upcoming-feature -Xswiftc InferSendableFromCaptures
Building for debugging...
[0/5] Write sources
[2/5] Write swift-version-2F0A5646E1D333AE.txt
[4/14] Compiling LogicKit Sequence+Extensions.swift
[5/14] Compiling LogicKit Term.swift
[6/14] Compiling LogicKit Logger.swift
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Logger.swift:78:14: warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
76 | }
77 |
78 | static let foreground: [FontColor: String] = [
| |- warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'foreground' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
79 | .red : "31m",
80 | .green : "32m",
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Logger.swift:84:14: warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
82 | ]
83 |
84 | static let background: [FontColor: String] = [
| |- warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'background' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
85 | .red : "41m",
86 | .green : "42m",
[7/14] Compiling LogicKit Realizer.swift
[8/14] Compiling LogicKit EDSL.swift
[9/14] Compiling LogicKit AnswerSet.swift
[10/14] Compiling LogicKit BindingMap.swift
[11/14] Compiling LogicKit KnowledgeBase.swift
[12/14] Emitting module LogicKit
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Logger.swift:78:14: warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
76 | }
77 |
78 | static let foreground: [FontColor: String] = [
| |- warning: static property 'foreground' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'foreground' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
79 | .red : "31m",
80 | .green : "32m",
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Logger.swift:84:14: warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
1 | public enum FontColor {
| `- note: consider making enum 'FontColor' conform to the 'Sendable' protocol
2 |
3 | case red, green, yellow
:
82 | ]
83 |
84 | static let background: [FontColor: String] = [
| |- warning: static property 'background' is not concurrency-safe because non-'Sendable' type '[FontColor : String]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'background' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
85 | .red : "41m",
86 | .green : "42m",
[13/17] Emitting module LogicKitBuiltins
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:7:21: warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| `- warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum List {
:
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| |- note: add '@MainActor' to make static property 'empty' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:41:21: warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
39 | public static var axioms: [Term] { return countAxioms + containsAxioms + concatAxioms }
40 |
41 | public static let countAxioms: [Term] = {
| |- warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'countAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
42 | let a: Term = .var("a")
43 | let b: Term = .var("b")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:54:21: warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
52 | }()
53 |
54 | public static let containsAxioms: [Term] = {
| |- warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'containsAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
55 | let a: Term = .var("a")
56 | let b: Term = .var("b")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:67:21: warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
65 | }()
66 |
67 | public static let concatAxioms: [Term] = {
| |- warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'concatAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
68 | let a: Term = .var("a")
69 | let b: Term = .var("b")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:7:21: warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| `- warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func succ(_ n: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum Nat {
:
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| |- note: add '@MainActor' to make static property 'zero' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func succ(_ n: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:88:21: warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
86 | public static var axioms: [Term] { return arithmeticAxioms }
87 |
88 | public static let relationAxioms: [Term] = {
| |- warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'relationAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
89 | let x: Term = .var("x")
90 | let y: Term = .var("y")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:115:21: warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
113 | }()
114 |
115 | public static let arithmeticAxioms: [Term] = {
| |- warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'arithmeticAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
116 | let v: Term = .var("v")
117 | let w: Term = .var("w")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
[14/17] Compiling LogicKitBuiltins List.swift
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:7:21: warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| `- warning: static property 'empty' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum List {
:
5 | // MARK: Generators
6 |
7 | public static let empty: Term = .lit("list::empty")
| |- note: add '@MainActor' to make static property 'empty' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func cons(_ head: Term, _ tail: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:41:21: warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
39 | public static var axioms: [Term] { return countAxioms + containsAxioms + concatAxioms }
40 |
41 | public static let countAxioms: [Term] = {
| |- warning: static property 'countAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'countAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
42 | let a: Term = .var("a")
43 | let b: Term = .var("b")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:54:21: warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
52 | }()
53 |
54 | public static let containsAxioms: [Term] = {
| |- warning: static property 'containsAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'containsAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
55 | let a: Term = .var("a")
56 | let b: Term = .var("b")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/List.swift:67:21: warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
65 | }()
66 |
67 | public static let concatAxioms: [Term] = {
| |- warning: static property 'concatAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'concatAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
68 | let a: Term = .var("a")
69 | let b: Term = .var("b")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
[15/17] Compiling LogicKitBuiltins Nat.swift
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:7:21: warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| `- warning: static property 'zero' is not concurrency-safe because non-'Sendable' type 'Term' may have shared mutable state; this is an error in the Swift 6 language mode
8 |
9 | public static func succ(_ n: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:1:1: warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
1 | import LogicKit
| `- warning: add '@preconcurrency' to suppress 'Sendable'-related warnings from module 'LogicKit'
2 |
3 | public enum Nat {
:
5 | // MARK: Generators
6 |
7 | public static let zero: Term = .lit("nat::0")
| |- note: add '@MainActor' to make static property 'zero' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
8 |
9 | public static func succ(_ n: Term) -> Term {
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:88:21: warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
86 | public static var axioms: [Term] { return arithmeticAxioms }
87 |
88 | public static let relationAxioms: [Term] = {
| |- warning: static property 'relationAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'relationAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
89 | let x: Term = .var("x")
90 | let y: Term = .var("y")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
/Users/admin/builder/spi-builder-workspace/Sources/LogicKitBuiltins/Nat.swift:115:21: warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
113 | }()
114 |
115 | public static let arithmeticAxioms: [Term] = {
| |- warning: static property 'arithmeticAxioms' is not concurrency-safe because non-'Sendable' type '[Term]' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: add '@MainActor' to make static property 'arithmeticAxioms' part of global actor 'MainActor'
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
116 | let v: Term = .var("v")
117 | let w: Term = .var("w")
/Users/admin/builder/spi-builder-workspace/Sources/LogicKit/Term.swift:1:13: note: enum 'Term' does not conform to the 'Sendable' protocol
1 | public enum Term {
| `- note: enum 'Term' does not conform to the 'Sendable' protocol
2 |
3 | /// A logic variable.
[15/17] Write Objects.LinkFileList
[16/17] Archiving libLogicKit.a
Build complete! (1.23s)
Build complete.
{
"dependencies" : [
],
"manifest_display_name" : "LogicKit",
"name" : "LogicKit",
"path" : "/Users/admin/builder/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "LogicKit",
"targets" : [
"LogicKit",
"LogicKitBuiltins"
],
"type" : {
"library" : [
"static"
]
}
}
],
"targets" : [
{
"c99name" : "LogicKitTests",
"module_type" : "SwiftTarget",
"name" : "LogicKitTests",
"path" : "Tests/LogicKitTests",
"sources" : [
"BindingMapTests.swift",
"KnowledgeBaseTests.swift",
"LogicKitTests.swift",
"XCTestManifests.swift"
],
"target_dependencies" : [
"LogicKit"
],
"type" : "test"
},
{
"c99name" : "LogicKitBuiltinsTests",
"module_type" : "SwiftTarget",
"name" : "LogicKitBuiltinsTests",
"path" : "Tests/LogicKitBuiltinsTests",
"sources" : [
"ListTests.swift",
"NatTests.swift"
],
"target_dependencies" : [
"LogicKitBuiltins"
],
"type" : "test"
},
{
"c99name" : "LogicKitBuiltins",
"module_type" : "SwiftTarget",
"name" : "LogicKitBuiltins",
"path" : "Sources/LogicKitBuiltins",
"product_memberships" : [
"LogicKit"
],
"sources" : [
"List.swift",
"Nat.swift"
],
"target_dependencies" : [
"LogicKit"
],
"type" : "library"
},
{
"c99name" : "LogicKit",
"module_type" : "SwiftTarget",
"name" : "LogicKit",
"path" : "Sources/LogicKit",
"product_memberships" : [
"LogicKit"
],
"sources" : [
"AnswerSet.swift",
"BindingMap.swift",
"EDSL.swift",
"KnowledgeBase.swift",
"Logger.swift",
"Realizer.swift",
"Sequence+Extensions.swift",
"Term.swift"
],
"type" : "library"
}
],
"tools_version" : "4.2"
}
Done.