From 23db9820353e27bf96361c1fa0e9673d02d362da Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 16 Oct 2015 17:17:48 -0400 Subject: [PATCH] Stub in RangedDiff. --- prototype/Doubt.xcodeproj/project.pbxproj | 4 ++++ prototype/DoubtTests/RangedDiff.swift | 9 +++++++++ 2 files changed, 13 insertions(+) create mode 100644 prototype/DoubtTests/RangedDiff.swift diff --git a/prototype/Doubt.xcodeproj/project.pbxproj b/prototype/Doubt.xcodeproj/project.pbxproj index c0f0f91b8..6e0e4bdc4 100644 --- a/prototype/Doubt.xcodeproj/project.pbxproj +++ b/prototype/Doubt.xcodeproj/project.pbxproj @@ -16,6 +16,7 @@ D40D725E1BD1826C001B7A9E /* TermTests.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D725D1BD1826C001B7A9E /* TermTests.swift */; settings = {ASSET_TAGS = (); }; }; D40D72601BD19E69001B7A9E /* DiffTests.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D725F1BD19E69001B7A9E /* DiffTests.swift */; settings = {ASSET_TAGS = (); }; }; D40D72621BD1A07E001B7A9E /* UnannotatedTerm.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D72611BD1A07E001B7A9E /* UnannotatedTerm.swift */; settings = {ASSET_TAGS = (); }; }; + D40D72641BD1A0C1001B7A9E /* RangedDiff.swift in Sources */ = {isa = PBXBuildFile; fileRef = D40D72631BD1A0C1001B7A9E /* RangedDiff.swift */; settings = {ASSET_TAGS = (); }; }; D42F096B1BCCC41600B95610 /* Either.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09671BCCC41600B95610 /* Either.framework */; }; D42F096C1BCCC41600B95610 /* Memo.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09681BCCC41600B95610 /* Memo.framework */; }; D42F096D1BCCC41600B95610 /* Prelude.framework in Frameworks */ = {isa = PBXBuildFile; fileRef = D42F09691BCCC41600B95610 /* Prelude.framework */; }; @@ -70,6 +71,7 @@ D40D725D1BD1826C001B7A9E /* TermTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = TermTests.swift; sourceTree = ""; }; D40D725F1BD19E69001B7A9E /* DiffTests.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = DiffTests.swift; sourceTree = ""; }; D40D72611BD1A07E001B7A9E /* UnannotatedTerm.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = UnannotatedTerm.swift; sourceTree = ""; }; + D40D72631BD1A0C1001B7A9E /* RangedDiff.swift */ = {isa = PBXFileReference; fileEncoding = 4; lastKnownFileType = sourcecode.swift; path = RangedDiff.swift; sourceTree = ""; }; D42F09671BCCC41600B95610 /* Either.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Either.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D42F09681BCCC41600B95610 /* Memo.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Memo.framework; sourceTree = BUILT_PRODUCTS_DIR; }; D42F09691BCCC41600B95610 /* Prelude.framework */ = {isa = PBXFileReference; lastKnownFileType = wrapper.framework; path = Prelude.framework; sourceTree = BUILT_PRODUCTS_DIR; }; @@ -207,6 +209,7 @@ D40D72531BCEEB1F001B7A9E /* InterpreterTests.swift */, D40D725B1BD15417001B7A9E /* RangedTerm.swift */, D40D72611BD1A07E001B7A9E /* UnannotatedTerm.swift */, + D40D72631BD1A0C1001B7A9E /* RangedDiff.swift */, D40D725D1BD1826C001B7A9E /* TermTests.swift */, D40D725F1BD19E69001B7A9E /* DiffTests.swift */, D4AAE5141B5AE22E004E581F /* Info.plist */, @@ -385,6 +388,7 @@ isa = PBXSourcesBuildPhase; buildActionMask = 2147483647; files = ( + D40D72641BD1A0C1001B7A9E /* RangedDiff.swift in Sources */, D40D725E1BD1826C001B7A9E /* TermTests.swift in Sources */, D40D72601BD19E69001B7A9E /* DiffTests.swift in Sources */, D432D4711BA9AC0B00F3FABC /* SESTests.swift in Sources */, diff --git a/prototype/DoubtTests/RangedDiff.swift b/prototype/DoubtTests/RangedDiff.swift new file mode 100644 index 000000000..9ad376717 --- /dev/null +++ b/prototype/DoubtTests/RangedDiff.swift @@ -0,0 +1,9 @@ +struct RangedDiff { + typealias Term = RangedTerm.Term + typealias Diff = Free> + + let diff: Diff +} + + +import Doubt