|
| 1 | +// RUN: %target-swift-ide-test -signature-help -code-completion-token=CURRY_TOPLEVEL -source-filename=%s | %FileCheck %s --check-prefix=CURRY_TOPLEVEL |
| 2 | +// RUN: %target-swift-ide-test -signature-help -code-completion-token=CURRY_MEMBER_PARTIAL -source-filename=%s | %FileCheck %s --check-prefix=CURRY_MEMBER_PARTIAL |
| 3 | +// RUN: %target-swift-ide-test -signature-help -code-completion-token=CURRY_MEMBER_FULL -source-filename=%s | %FileCheck %s --check-prefix=CURRY_MEMBER_FULL |
| 4 | + |
| 5 | +struct Adder { |
| 6 | + func add(_ x: Int, to y: Int) -> Int { |
| 7 | + return x + y |
| 8 | + } |
| 9 | + |
| 10 | + func add(oneTo x: inout Int) { |
| 11 | + x += 1 |
| 12 | + } |
| 13 | + |
| 14 | + func add<T: AdditiveArithmetic>(_ x: T, to y: T) -> T { |
| 15 | + return x + y |
| 16 | + } |
| 17 | + |
| 18 | + func add(first: Double!, second: Float, third: Int) -> Double { |
| 19 | + return first + Double(second) + Double(third) |
| 20 | + } |
| 21 | + |
| 22 | + func add(arg1 param1: Double, arg2: Float, arg3 param3: Int) -> Double { |
| 23 | + return param1 + Double(arg2) + Double(param3) |
| 24 | + } |
| 25 | + |
| 26 | + func add(numbers: Double...) -> Double { |
| 27 | + return numbers.reduce(into: 0) { $0 += $1 } |
| 28 | + } |
| 29 | + |
| 30 | + func add(x: Int, y: Int, with adder: (Int, Int) throws -> Int) rethrows -> Int! { |
| 31 | + return try adder(x, y) |
| 32 | + } |
| 33 | + |
| 34 | + func add(x: Int) -> (Int) -> Int { |
| 35 | + return { (y: Int) in x + y } |
| 36 | + } |
| 37 | +} |
| 38 | + |
| 39 | +func topLevelCurried(x: Int) -> (Double) -> (String) -> Void { |
| 40 | + fatalError() |
| 41 | +} |
| 42 | + |
| 43 | +func testCurryTopLevel() { |
| 44 | + topLevelCurried(x: 1)(#^CURRY_TOPLEVEL^#) |
| 45 | +} |
| 46 | + |
| 47 | +func testCurryMemberPartial() { |
| 48 | + Adder.add(#^CURRY_MEMBER_PARTIAL^#) |
| 49 | +} |
| 50 | + |
| 51 | +func testCurryMemberFull() { |
| 52 | + let adder = Adder() |
| 53 | + Adder.add(adder)(#^CURRY_MEMBER_FULL^#) |
| 54 | +} |
| 55 | + |
| 56 | +// CURRY_TOPLEVEL: Begin signatures, 1 items |
| 57 | +// CURRY_TOPLEVEL-NEXT: Signature[Active]: (<param name="" active>Double</param>) -> (String) -> Void |
| 58 | +// CURRY_TOPLEVEL-NEXT: End signatures |
| 59 | + |
| 60 | +// CURRY_MEMBER_PARTIAL: Begin signatures, 8 items |
| 61 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature[Active]: add(<param name="self" active>_ self: Adder</param>) -> (Int, Int) -> Int |
| 62 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (inout Int) -> () |
| 63 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (AdditiveArithmetic, AdditiveArithmetic) -> AdditiveArithmetic |
| 64 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (Double?, Float, Int) -> Double |
| 65 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (Double, Float, Int) -> Double |
| 66 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (Double...) -> Double |
| 67 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (Int, Int, (Int, Int) throws -> Int) throws -> Int? |
| 68 | +// CURRY_MEMBER_PARTIAL-NEXT: Signature: add(<param name="self" active>_ self: Adder</param>) -> (Int) -> (Int) -> Int |
| 69 | +// CURRY_MEMBER_PARTIAL-NEXT: End signatures |
| 70 | + |
| 71 | +// CURRY_MEMBER_FULL: Begin signatures, 8 items |
| 72 | +// CURRY_MEMBER_FULL-NEXT: Signature[Active]: (<param name="x" active>_ x: Int</param>, <param name="y">to: Int</param>) -> Int |
| 73 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="x" active>oneTo: inout Int</param>) |
| 74 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="x" active>_ x: AdditiveArithmetic</param>, <param name="y">to: AdditiveArithmetic</param>) -> AdditiveArithmetic |
| 75 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="first" active>first: Double!</param>, <param name="second">second: Float</param>, <param name="third">third: Int</param>) -> Double |
| 76 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="param1" active>arg1: Double</param>, <param name="arg2">arg2: Float</param>, <param name="param3">arg3: Int</param>) -> Double |
| 77 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="numbers" active>numbers: Double...</param>) -> Double |
| 78 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="x" active>x: Int</param>, <param name="y">y: Int</param>, <param name="adder">with: (Int, Int) throws -> Int</param>) throws -> Int! |
| 79 | +// CURRY_MEMBER_FULL-NEXT: Signature: (<param name="x" active>x: Int</param>) -> (Int) -> Int |
| 80 | +// CURRY_MEMBER_FULL-NEXT: End signatures |
0 commit comments