Michael J. Sullivan
Michael J. Sullivan
cpython doesn't populate `__file__` until after the module init routine returns, so modules that reference at the toplevel will be busted. Potential fixes: * Compute and populate it ourselves *...
Currently generator comprehensions are compiled as list comprehensions, with a warning in cases where we don't know that to be sound. We should actually compile them as generators. This shouldn't...
As @SanjitKal noticed today, mypyc doesn't properly handle covariantly overriding attribute types in a subclass. So if we do something like ``` class A: x: object class B: x: int...
Right now, mypyc doesn't track stack depth and so can crash when the stack grows too much. We should be able to track stack depth and do recursion limit checks...
In compiled code that never calls into interpreted code, we never check whether a keyboard interrupt has been sent, and so will never generate a KeyboardInterrupt exception. This could be...
Follow up from #545, where the attribute isn't accessed until after arguments have been evaluated: ``` [case testMethodCallOrderingGetAttr] from typing import Any def spew(x: Any) -> Any: print(x) return x...
Currently mypyc supports a limited subset of dunder methods without clear diagnostics about this. We should support basically all of them, Most should be easy, and just need a bit...
If the abstractproperty comes from a non-trait parent, like this: ``` from abc import abstractproperty class A: @abstractproperty def foo(self) -> int: ... class B(A): foo = 10 def f(x:...
Currently we have optimizations that will sink shapes and for loop bodies into the inside of our internal group statement. These optimizations operate on the edgeql AST, not on IR....
``` global current_user_id -> uuid; global current_user := (select User filter .id ?= global current_user_id); type User { multi link following -> User { property created_at -> datetime { default...