Closed lojikil closed 1 year ago
We need to correctly handle type variables in output:
type Result[A B] | Left is [A] | Right is [B] epyt
This will produce Python code with m_0: A, but that's not the type, that's a type variable. We can do two things:
m_0: A
typing.Any
I'd probably like to do the latter, but the former isn't terrible to start (and indeed that's how I've been manually handling it thus far).
We need to correctly handle type variables in output:
This will produce Python code with
m_0: A
, but that's not the type, that's a type variable. We can do two things:typing.Any
orI'd probably like to do the latter, but the former isn't terrible to start (and indeed that's how I've been manually handling it thus far).