witty-crayon-22786
05/18/2022, 10:32 PMmypy
needs to check transitive dependees is dependent on whether a file “exports” a type… and the same goes for javac
, where we actually implemented “exports” (described in the JVM inference post)bitter-ability-32190
05/18/2022, 10:41 PMwitty-crayon-22786
05/18/2022, 11:04 PMcheck
dependeesbitter-ability-32190
05/18/2022, 11:06 PMwitty-crayon-22786
05/18/2022, 11:07 PMbitter-ability-32190
05/18/2022, 11:08 PMwitty-crayon-22786
05/18/2022, 11:10 PMhappy-kitchen-89482
05/18/2022, 11:58 PMhundreds-father-404
05/19/2022, 12:03 AMbitter-ability-32190
05/19/2022, 12:04 AMhappy-kitchen-89482
05/19/2022, 7:29 PMbitter-ability-32190
05/19/2022, 7:31 PM