Open alex-ozdemir opened 4 years ago
Right now, if TA reduces to TB, which depends on a value not depended on by TA, you get a crash, because we only upload dependencies initially.
TA
TB
This is a note to myself to fix that some time.
Right now, if
TAreduces toTB, which depends on a value not depended on byTA, you get a crash, because we only upload dependencies initially.This is a note to myself to fix that some time.