search

microsoft / knossos-ksc

Compiler with automatic differentiation
Other
45 stars 10 forks source link

infer_fn_type_from_derived_fn_args should return Type? #858

Closed toelli-msft closed 3 years ago

toelli-msft commented 3 years ago

Should the return type here be Type? I don't understand how the return type could be StructuredName.

https://github.com/microsoft/knossos-ksc/blob/fe0771d7451685c47aa519dfec80bd6ccd256b4f/src/python/ksc/type_propagate.py#L86-L88