pytorch
510d2ece - Merge script and _script_pdt API (#62420)

Commit
3 years ago
Merge script and _script_pdt API (#62420) Summary: Merge `torch.jit.script` and `torch.jit._script_pdt` API. This PR merges profile directed typing with script api Pull Request resolved: https://github.com/pytorch/pytorch/pull/62420 Reviewed By: iramazanli Differential Revision: D30579015 Pulled By: nikithamalgifb fbshipit-source-id: 99ba6839d235d61b2dd0144b466b2063a53ccece
Author
nikithamalgi
Parents
Loading