swiftlang/swift

[SR-3254] Unhelpful diagnostics for compound name reference.

Open

#45,842 建立於 2016年11月22日

在 GitHub 查看
 (9 留言) (0 反應) (0 負責人)Swift (69,989 star) (10,719 fork)batch import
bugcompilerdiagnostics qualityfunction referencesgood first issueswift 6.0type checker

描述
Previous ID SR-3254
Radar None
Original Reporter @rintaro
Type Bug

Swift version 3.0.1 (swift-3.0.1-RELEASE)
Target: x86_64-unknown-linux-gnu
Votes 0
Component/s Compiler
Labels Bug, DiagnosticsQoI, StarterBug
Assignee None
Priority Medium

md5: fcfded4004226fb4776f82d7b6864fca

relates to:

  • SR-4867 func foo() {}; foo(_:) // Use of unresolved identifier 'foo'

Issue Description:

func foo(x: Int) {}
let f = foo(_:)

emits:

test.swift:2:9: error: use of unresolved identifier 'foo'
let f = foo(_:)
        ^~~~~~~
test.swift:1:6: note: did you mean 'foo'?
func foo(x: Int) {}
     ^

Because foo does exist. It should be something like:

test.swift:2:9: error: use of unresolved name 'foo(_:)'
let f = foo(_:)
        ^~~~~~~
test.swift:1:6: note: did you mean 'foo(x:)'?
func foo(x: Int) {}
     ^

貢獻者指南

技術棧
swift
領域
developer experience
議題類型
bug
難度面向新貢獻者的預計實作難度，1 表示很小改動，5 表示專家級工作。
3
預計時間有經驗貢獻者完成調查、實作、測試並準備 pull request 的粗略時間範圍。
1-3 hours
活動狀態議題目前的可參與程度：新鮮、活躍、陳舊、阻塞或等待維護者輸入。
stale
清晰度議題是否清楚說明預期改動、驗收標準和下一步。
clear
前置要求
Swift language basicsUnderstanding of compiler error messages
新手友善度1-100 的估計分數，表示該議題對首次貢獻者的友善程度。
45
研究方向
Investigate the Swift compiler's diagnostic emission for compound name references. The relevant code is likely in lib/Sema/TypeCheckExpr.cpp or similar files that handle unresolved identifier errors. The goal is to improve the error message from 'use of unresolved identifier' to something like 'use of unresolved name foo( :)' with a suggestion to use 'foo(x:)'. Look at how the compiler tokenizes and prints function signatures. Also review the related issue SR 4867 for additional context on similar diagnostic improvements.