search

kamahen / pykythe

Generate code Python source cross-reference facts in Kythe format
Other
21 stars 3 forks source link

Does not back-propagate type from function body, nor from "main" call #44

Open kamahen opened 2 months ago

kamahen commented 2 months ago

This code appears to not infer a type for cmd:

import os

def execute(cmd):
    os.system(cmd)

execute("echo hello world")

(The call to execute() ought to set the type of cmd; without that call, back-propagation would be needed to set the type of cmd)

See also # See https://github.com/google/pytype/issues/1678