Ordering problem in Python code generator

[RustanLeino]

Dafny version

4.6.0

Code to produce this issue

method Main() {}

class C extends Trait {}
trait Trait {}

Command to run and resulting output

% dafny run test.dfy --target=py

Dafny program verifier finished with 0 verified, 0 errors
Traceback (most recent call last):
  File "./test-py/__main__.py", line 7, in <module>
    import module_
  File "./test-py/module_.py", line 22, in <module>
    class C(Trait):
            ^^^^^
NameError: name 'Trait' is not defined

What happened?

The two type declarations in the Dafny program are generated into Python declarations in the same order. Evidently, Python does not like that order.

By declaring Trait before C in the Dafny program, the Python declarations also get swapped, so then the Python is well-formed.

What type of operating system are you experiencing the problem on?

Mac