LLVM ERROR: Type mismatch in constant table!
Typevars cause
Option::unwrap() on a None value', nac3core/src/codegen/expr.rs:500:51
btw the code is wrong: you should use
U = TypeVar("U", C[A], C[B])
U2 = TypeVar("U", C[A], C[B])
@nac3
class Types(Generic[U2], EnvExperiment):
core: KernelInvariant[Core]
…
Typevars cause
Option::unwrap() on a None value', nac3core/src/codegen/expr.rs:500:51
intermittent stack overflow in test
wrong "Incompatible types" error with generic classes
wrong "Incompatible types" error with generic classes
This one is a bit tricky... There are multiple reasons, including the fix Anto mentioned above, and a bug in…
Typevars cause
Option::unwrap() on a None value', nac3core/src/codegen/expr.rs:500:51
application of type vars to generic class is not currently supported
I am not sure why is there such a restriction. And what is application of typevar to generic class? Do you mean anything like C[T] where T = TypeVar(...) is not supported?
'internal error: entered unreachable code: TVar', nac3core/src/codegen/mod.rs:322:18
Option::unwrap() on a None value panic with typevars
internal error with typevar
Actually this code is invalid, we should have x: A instead of x: T. If you need x: T, you should do
def __init__(self, x: T):
self.x = x
review
artiq_builtin = True in ARTIQ exceptions