Zunächst einmal ist das Spiegeln von Variablen im selben Bereich kein Fehler oder etwas, das deaktiviert werden sollte. Wie Joel Mueller angibt, ist es legitimate, useful, and common
.
Per MSDN
auf jeder Ebene der Rahmen anders als Modul Umfang, ist es nicht ein Fehler auf Wert oder Funktionsnamen wiederzuverwenden. Wenn Sie einen Namen wiederverwenden, überschreibt der später deklarierte Name den zuvor angegebenen Namen.
Das Syntax Coloring Merkmal der Visual Studio-Erweiterung F# Power Tools wird die aktuell gültige Variable und zeigt die schattierten Variablen als hellgrau markiert. z.B.
Die Erweiterung kann
Tools von Visual Studio-Menü installiert werden -> Erweiterungen und Updates
Sobald der Dialog öffnen
Visual Studio Gallery
Wählen Im oberen Feld rechts Suche eingeben F # Power Tools
Da ich es bereits installiert habe, wird die Option zur Installation nicht angezeigt.
Die Funktion kann
Tools aus dem Visual Studio-Menü aktiviert werden -> Optionen -> F # Power Tools -> Allgemein -> Syntax Coloring -> Grau aus nicht verwendeten Erklärungen
Mit der Option ab:
mit Option auf:
Hinweis: Nach dem Ändern der Option, um die Quelldatei (en) muss geschlossen werden und dann für die Änderung wieder geöffnet wirksam werden.Visual Studio muss hierfür nicht neu gestartet werden, aber dies hat den gleichen Effekt.
Dank Ringil für die Feststellung meiner früheren ungültigen Aussage.
Hinweis aus dem Quellcode:
Vergrauung aus nicht verwendeten Erklärungen
Momentan nicht verwenden nicht öffentliche Typen, Methoden, Funktionen und Werte Erklärungen geprüft werden. Beachten Sie, dass diese Funktion nur zu 100% zuverlässig ist, wenn der Code keinen Typfehler aufweist. Diese Einstellung ist unter Allgemeine Optionen verfügbar. Es ist standardmäßig deaktiviert , da bei großen Dateien möglicherweise Leistungsprobleme auftreten.
F# Power Tools features list
Vielen Dank für diese in eine richtige Frage drehen & :-) beantworten. Ich dachte, deine (jetzt gelöschte) Antwort auf die gestrige Frage dazu wäre wirklich nützlich und sollte irgendwo aufbewahrt werden! –
Der Dank sollte wirklich an die Person gehen, die das Feature erstellt hat. Wen immer du dank bist. Danke auch an Jack, dass er es in einer der oben erwähnten Fragen notiert hat. –