ddjoh

dict corrupted by certain insertion/deletion order

1

### Acton Version 0.21.0.20240508.13.27.9 ### Steps to Reproduce and Observed Behavior ``` actor main(env): d: dict[int, str] = {} d[1] = "one" d[2] = "two" del d[2] d[3] = "three"...

Code generation error when using type parameter with protocol constraint

4

### Acton Version 0.16.0.20230807.13.20.3 ### Steps to Reproduce ``` class Foo[T(Ord)](object): def __init__(self): pass def insert(self, v: T): pass actor main(env): f = Foo() f.insert(1) await async env.exit(0) ``` ###...

### Acton Version 0.16.0.20230807.13.20.3 ### Steps to Reproduce Compile and run ``` class Foo: @property x: str def __init__(self, x): self.x = x def __str__(self): return self.x class Bar(Foo): def...

Conditional expression branch may be evaluated before the condition within 'proc' functions

2

### Acton Version 0.23.0.20241018.14.24.5 ### Steps to Reproduce and Observed Behavior ``` class Foo(object): def __init__(self): pass proc def foo(self) -> int: return 42 def bar(f: ?Foo): return f.foo() if...

Type inference / flow analysis does not consider non-returning functions

4

### Acton Version 0.26.0.20250924.14.31.36 ### Steps to Reproduce and Observed Behavior ``` def bar(): raise ValueError("error") def foo(s) -> str: if s: return s else: bar() actor main(env): print(foo("")) env.exit(0)...

Compilation error for Hashable extension

3

### Acton Version 0.14.2.20221201.12.18.21 ### Steps to Reproduce ``` class Key: @property x: int def __init__(self, x): self.x = x extension Key(Eq): def __eq__(a, b) -> bool: return a.x ==...