fix #8252, `eval` after `workspace`