Open johnynek opened 5 months ago
The unshadow algorithm in Code.Lambda added in this commit: https://github.com/johnynek/bosatsu/pull/1124/commits/dc5389bea86bbd3910e07ed1c230c66c52355934
could be used in TypedExpr and Declaration. Both of which give up and return None if they hit a condition where it is needed.
By making that change, we could make those functions always return, which could improve optimizations.
The unshadow algorithm in Code.Lambda added in this commit: https://github.com/johnynek/bosatsu/pull/1124/commits/dc5389bea86bbd3910e07ed1c230c66c52355934
could be used in TypedExpr and Declaration. Both of which give up and return None if they hit a condition where it is needed.
By making that change, we could make those functions always return, which could improve optimizations.