mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
fbbbd0d08a
Allow keywords after `#` in freestanding macro expansions There is no reason why we shouldn’t allow keywords here. I also thought about allowing keywords after `@` but things become tricky here for two reasons: - In the parser, we parse a type after the `@`, which could start with a keyword itself (e.g. `any`). If we want to keep the parser logic to parse a type after `@` (which I think we should), then it becomes unclear what `@any T` should parse as. - We allow a space between `@` and the type name. This makes it very hard for recovery to tell whether `@ struct` refers to an attribute with name `struct` or if the user forgot to write the attribute name after `@`. Since almost all keywords are lowercase and attached member macros are usually spelled with an uppercase name, there are a lot fewer chances for clashes here, so I don’t think it’s worth allowing keywords after `@`. https://github.com/apple/swift/issues/66444 rdar://110472060
62 lines
1.8 KiB
Swift
62 lines
1.8 KiB
Swift
// REQUIRES: swift_swift_parser
|
|
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: mkdir -p %t/src
|
|
// RUN: mkdir -p %t/plugins
|
|
// RUN: mkdir -p %t/lib
|
|
|
|
// RUN: split-file %s %t/src
|
|
|
|
//#-- Prepare the macro dylib plugin.
|
|
// RUN: %host-build-swift \
|
|
// RUN: -swift-version 5 \
|
|
// RUN: -emit-library -o %t/plugins/%target-library-name(MacroDefinition) \
|
|
// RUN: -module-name MacroDefinition \
|
|
// RUN: %t/src/MacroDefinition.swift \
|
|
// RUN: -g -no-toolchain-stdlib-rpath
|
|
|
|
//#-- Prepare the macro library.
|
|
// RUN: %target-swift-frontend \
|
|
// RUN: -swift-version 5 \
|
|
// RUN: -emit-module -o %t/lib/MacroLib.swiftmodule \
|
|
// RUN: -module-name MacroLib \
|
|
// RUN: -plugin-path %t/plugins \
|
|
// RUN: %t/src/MacroLib.swift
|
|
|
|
// RUN: %target-swift-frontend \
|
|
// RUN: -typecheck -verify \
|
|
// RUN: -I %t/lib \
|
|
// RUN: -plugin-path %t/plugins \
|
|
// RUN: %t/src/test.swift
|
|
|
|
//--- MacroDefinition.swift
|
|
import SwiftSyntax
|
|
import SwiftSyntaxMacros
|
|
|
|
public struct OneMacro: ExpressionMacro {
|
|
public static func expansion(
|
|
of node: some FreestandingMacroExpansionSyntax,
|
|
in context: some MacroExpansionContext
|
|
) throws -> ExprSyntax {
|
|
return "1"
|
|
}
|
|
}
|
|
|
|
|
|
//--- MacroLib.swift
|
|
@freestanding(expression) public macro `public`() -> Int = #externalMacro(module: "MacroDefinition", type: "OneMacro")
|
|
@freestanding(expression) public macro `escaped`() -> Int = #externalMacro(module: "MacroDefinition", type: "OneMacro")
|
|
@freestanding(expression) public macro normal() -> Int = #externalMacro(module: "MacroDefinition", type: "OneMacro")
|
|
|
|
//--- test.swift
|
|
import MacroLib
|
|
@freestanding(expression) public macro `class`() -> Int = #externalMacro(module: "MacroDefinition", type: "OneMacro")
|
|
|
|
func test() {
|
|
let _: Int = #public()
|
|
let _: Int = #`public`()
|
|
let _: Int = #escaped()
|
|
let _: Int = #`class`()
|
|
let _: Int = #normal()
|
|
}
|