Base analysis is full of code like
set_many ~ctx (Analyses.ask_of_ctx ctx) gs st [...]
where Analyses.ask_of_ctx ctx, gs and st are directly taken from ctx itself. There's no point in having those three arguments because everything could be accessed via the ctx that's already passed around.
This is the case for a lot of code in base, so this would be a major cleanup.
Base analysis is full of code like
where
Analyses.ask_of_ctx ctx,gsandstare directly taken fromctxitself. There's no point in having those three arguments because everything could be accessed via thectxthat's already passed around.This is the case for a lot of code in base, so this would be a major cleanup.