Avatar
Function Body Macroの提案仕様が更新されたようです。 投稿 https://forums.swift.org/t/function-body-macros/66471/59 プロポーザルドラフト https://github.com/apple/swift-evolution/pull/2219/files (edited)
👀 1
12:36 AM
肝心の問題である関数本体を書き換えるマクロの型チェックについてですが
12:37 AM
preamble: 先頭に追記するだけ、型チェックはマクロ展開前の状態で行う body: マクロ展開前は構文チェックだけ行う、型チェックはマクロ展開後の状態で行う という方針のようです
12:39 AM
The function body as written must be syntactically well-formed (i.e., it must conform to the Swift grammar) but will not be type-checked, so it need not be semantically well-formed.