Swift Package IndexBuild Information
Successful build of LogicKit with Swift 6.0 for macOS (SPM).
Swift 6 data race errors: 9
Build Command
env DEVELOPER_DIR=/Applications/Xcode-15.3.0.app xcrun --toolchain org.swift.600202405261a swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=completeBuild Log
========================================
RunAll
========================================
Builder version: 4.40.0
Interrupt handler set up.
========================================
Checkout
========================================
Clone URL: https://github.com/kyouko-taiga/logickit.git
Reference: master
Initialized empty Git repository in /Users/admin/builder/spi-builder-workspace/.git/
From https://github.com/kyouko-taiga/logickit
* branch master -> FETCH_HEAD
* [new branch] master -> origin/master
HEAD is now at f25819a Add a link to the short paper
Cloned https://github.com/kyouko-taiga/logickit.git
Revision (git rev-parse @):
f25819a00278ad9649f57837409940f7721e1fde
SUCCESS checkout https://github.com/kyouko-taiga/logickit.git at master
========================================
Build
========================================
Selected platform: macosSpm
Swift version: 6.0
Building package at path: $workDir
https://github.com/kyouko-taiga/logickit.git
Running build ...
env DEVELOPER_DIR=/Applications/Xcode-15.3.0.app xcrun --toolchain org.swift.600202405261a swift build --arch arm64 -Xswiftc -Xfrontend -Xswiftc -stats-output-dir -Xswiftc -Xfrontend -Xswiftc .stats -Xswiftc -strict-concurrency=complete
Building for debugging...
[0/5] Write sources
[2/5] Write swift-version-6F35C1178C84523A.txt
[4/14] Compiling LogicKit Term.swift
[5/14] Compiling LogicKit Realizer.swift
[6/14] Compiling LogicKit Sequence+Extensions.swift
[7/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: annotate 'foreground' 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
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: annotate 'background' 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
85 | .red : "41m",
86 | .green : "42m",
[8/14] Compiling LogicKit EDSL.swift
[9/14] Compiling LogicKit BindingMap.swift
[10/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: annotate 'foreground' 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
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: annotate 'background' 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
85 | .red : "41m",
86 | .green : "42m",
[11/14] Compiling LogicKit AnswerSet.swift
[12/14] Compiling LogicKit KnowledgeBase.swift
[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: annotate 'empty' 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
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: annotate 'countAxioms' 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
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/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: annotate 'zero' 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
8 |
9 | public static func succ(_ n: Term) -> Term {
/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: annotate 'containsAxioms' 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
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: annotate 'concatAxioms' 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
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: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: annotate 'relationAxioms' 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
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: annotate 'arithmeticAxioms' 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
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: annotate 'empty' 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
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: annotate 'countAxioms' 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
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/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: annotate 'zero' 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
8 |
9 | public static func succ(_ n: Term) -> Term {
/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: annotate 'containsAxioms' 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
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: annotate 'concatAxioms' 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
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: annotate 'zero' 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
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: annotate 'relationAxioms' 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
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: annotate 'arithmeticAxioms' 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
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! (5.95s)
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.