TasterScript: Warum ist dies kein Typfehler?

Question

Ich versuche, den Grad des Typs des Typs in der Arbeit in der Arbeit in Formwerk zu verstehen.Warum ist die Implementierung von foo in dem folgenden Codebeispiel von baz.esplode gültig?Mein Verständnis ist, dass eine leere Methode mit dem void übereinstimmt. generasacodicetagpre.

danke!

Answer 1

Danke, dass Sie einen Blick darauf werfen!

Das ist eigentlich ein Fehler.Wenn eine Funktion kontextuell eingegeben wird, sollten wir sie behandeln, als ob eine Renditortyp-Anmerkung vorhanden ist, die den beabsichtigten Renditortyp (pro Abschnitt 4.9 der Sprachspezifikation) darstellt, sodass Sie recht, dass Sie ein Fehler haben sollten. .

Ich habe bereits einen Fix dafür, aber können Sie einen Fehler auf der CodePlex-Site einreichen, damit unser Team es verfolgen kann?Ich kann diesen Nachmittag den Fix in unsere Entwicklungszweige drücken.

Nochmal danke!