Build Information
Successful build of Logic Parser, reference 1.0.0 (99037e
), with Swift 6.0 for Linux on 28 Nov 2024 14:27:22 UTC.
Swift 6 data race errors: 7
Build Command
bash -c docker run --pull=always --rm -v "checkouts-4606859-0":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -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 2>&1
Build Log
========================================
RunAll
========================================
Builder version: 4.58.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/Gerzer/LogicParser.git
Reference: 1.0.0
Initialized empty Git repository in /host/spi-builder-workspace/.git/
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint:
hint: git config --global init.defaultBranch <name>
hint:
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint:
hint: git branch -m <name>
From https://github.com/Gerzer/LogicParser
* tag 1.0.0 -> FETCH_HEAD
HEAD is now at 99037ef Add license
Cloned https://github.com/Gerzer/LogicParser.git
Revision (git rev-parse @):
99037ef0c8d4942c2de2bdd01e3b76b833fd76c3
SUCCESS checkout https://github.com/Gerzer/LogicParser.git at 1.0.0
========================================
Build
========================================
Selected platform: linux
Swift version: 6.0
Building package at path: $PWD
https://github.com/Gerzer/LogicParser.git
Running build ...
bash -c docker run --pull=always --rm -v "checkouts-4606859-0":/host -w "$PWD" registry.gitlab.com/finestructure/spi-images:basic-6.0-latest swift build --triple x86_64-unknown-linux-gnu -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 2>&1
basic-6.0-latest: Pulling from finestructure/spi-images
Digest: sha256:47d26c99ca4f1ac0a332c85fd5b13ff4390e72115219984a57a68fe9d1063a05
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:basic-6.0-latest
Fetching https://github.com/palle-k/Covfefe.git
[1/2438] Fetching covfefe
Fetched https://github.com/palle-k/Covfefe.git from cache (0.34s)
Computing version for https://github.com/palle-k/Covfefe.git
Computed https://github.com/palle-k/Covfefe.git at 0.6.1 (0.46s)
Creating working copy for https://github.com/palle-k/Covfefe.git
Working copy of https://github.com/palle-k/Covfefe.git resolved at 0.6.1
Building for debugging...
[0/3] Write sources
[2/3] Write swift-version-24593BA9C3E375BF.txt
[4/20] Emitting module Covfefe
[5/22] Compiling Covfefe Tokenizer.swift
[6/22] Compiling Covfefe Utility.swift
[7/22] Compiling Covfefe Normalization.swift
[8/22] Compiling Covfefe Parser.swift
[9/22] Compiling Covfefe SyntaxTree.swift
[10/22] Compiling Covfefe Terminal.swift
[11/22] Compiling Covfefe StringUtility.swift
[12/22] Compiling Covfefe Symbols.swift
[13/22] Compiling Covfefe Grammar.swift
[14/22] Compiling Covfefe GrammarCheck.swift
[15/22] Compiling Covfefe PrefixGrammar.swift
[16/22] Compiling Covfefe Productions.swift
[17/22] Compiling Covfefe CharacterSets.swift
[18/22] Compiling Covfefe EBNFImporter.swift
[19/22] Compiling Covfefe EarleyParser.swift
[20/22] Compiling Covfefe ABNFImporter.swift
[21/22] Compiling Covfefe BNFImporter.swift
[22/22] Compiling Covfefe CYKParser.swift
[24/27] Compiling LogicParser LogicParser.swift
[25/27] Compiling LogicParser LogicNode.swift
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:127:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
125 | public static let name = "Root"
126 |
127 | public static let childrenType: LogicNodeChildrenType = .leftOnly
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
128 |
129 | public fileprivate(set) var parent: (any LogicNode)! {
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:150:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
148 | public static let name = "Atomic"
149 |
150 | public static let childrenType: LogicNodeChildrenType = .none
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
151 |
152 | public var description: String {
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:188:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
186 | public static let name = "Negation"
187 |
188 | public static let childrenType: LogicNodeChildrenType = .rightOnly
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
189 |
190 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:207:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
205 | public static let name = "Conjunction"
206 |
207 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
208 |
209 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:222:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
220 | public static let name = "Disjunction"
221 |
222 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
223 |
224 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:237:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
235 | public static let name = "Conditional"
236 |
237 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
238 |
239 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:252:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
250 | public static let name = "Biconditional"
251 |
252 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
253 |
254 | public fileprivate(set) var parent: (any LogicNode)!
[26/27] Emitting module LogicParser
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:127:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
125 | public static let name = "Root"
126 |
127 | public static let childrenType: LogicNodeChildrenType = .leftOnly
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
128 |
129 | public fileprivate(set) var parent: (any LogicNode)! {
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:150:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
148 | public static let name = "Atomic"
149 |
150 | public static let childrenType: LogicNodeChildrenType = .none
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
151 |
152 | public var description: String {
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:188:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
186 | public static let name = "Negation"
187 |
188 | public static let childrenType: LogicNodeChildrenType = .rightOnly
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
189 |
190 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:207:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
205 | public static let name = "Conjunction"
206 |
207 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
208 |
209 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:222:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
220 | public static let name = "Disjunction"
221 |
222 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
223 |
224 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:237:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
235 | public static let name = "Conditional"
236 |
237 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
238 |
239 | public fileprivate(set) var parent: (any LogicNode)!
/host/spi-builder-workspace/Sources/LogicParser/LogicNode.swift:252:20: warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
104 |
105 | /// The possible layouts for children of a node.
106 | public enum LogicNodeChildrenType {
| `- note: consider making enum 'LogicNodeChildrenType' conform to the 'Sendable' protocol
107 |
108 | /// A layout that indicates the absence of any children.
:
250 | public static let name = "Biconditional"
251 |
252 | public static let childrenType: LogicNodeChildrenType = .leftAndRight
| |- warning: static property 'childrenType' is not concurrency-safe because non-'Sendable' type 'LogicNodeChildrenType' may have shared mutable state; this is an error in the Swift 6 language mode
| |- note: annotate 'childrenType' with '@MainActor' if property should only be accessed from the main actor
| `- note: disable concurrency-safety checks if accesses are protected by an external synchronization mechanism
253 |
254 | public fileprivate(set) var parent: (any LogicNode)!
[27/27] Compiling LogicParser Errors.swift
Build complete! (14.17s)
Build complete.
{
"dependencies" : [
{
"identity" : "covfefe",
"requirement" : {
"range" : [
{
"lower_bound" : "0.6.0",
"upper_bound" : "0.7.0"
}
]
},
"type" : "sourceControl",
"url" : "https://github.com/palle-k/Covfefe.git"
}
],
"manifest_display_name" : "Logic Parser",
"name" : "Logic Parser",
"path" : "/host/spi-builder-workspace",
"platforms" : [
],
"products" : [
{
"name" : "LogicParser",
"targets" : [
"LogicParser"
],
"type" : {
"library" : [
"automatic"
]
}
}
],
"targets" : [
{
"c99name" : "LogicParser",
"module_type" : "SwiftTarget",
"name" : "LogicParser",
"path" : "Sources/LogicParser",
"product_dependencies" : [
"Covfefe"
],
"product_memberships" : [
"LogicParser"
],
"sources" : [
"Errors.swift",
"LogicNode.swift",
"LogicParser.swift"
],
"type" : "library"
}
],
"tools_version" : "5.5"
}
basic-6.0-latest: Pulling from finestructure/spi-images
Digest: sha256:47d26c99ca4f1ac0a332c85fd5b13ff4390e72115219984a57a68fe9d1063a05
Status: Image is up to date for registry.gitlab.com/finestructure/spi-images:basic-6.0-latest
Done.