Typechecking bei der Initialisierung von Records #13
Description
Das ist eigentlich schon gefixt, aber @CodeSteak schreibt:
Hab ich in CodeSteak@79a943a mal implementiert. Der typechecked-decorator muss für die Init-Funktion explizit aufgerufen werden, weil diese in einem anderen Modul definiert ist.
Bei der Fehlermeldung bin ich jedoch auf ein Problem gestoßen. Die Definition der Klasse kann nicht richtig angezeigt werden. inspect.getsourcelines findet den Source des falschen Moduls. Es wird in dem vom runYourProgram.py gesucht. Das hängt vermutlich mit
runner.py:421 | sys.modules['wypp'] = sys.modules['main']
zusammen. Da müsste vermutlich das richtige Modul gesetzt werden, meine ersten Versuche das zu fixen waren nicht erfolgreich. Wenn Sie wollen könnte ich das nochmal im Verlauf der Woche anschauen.