use withAll when evaluating %foreign strings#3801

ear7h wants to merge 1 commit into

idris-lang:mainidris-lang/Idris2:mainfrom

ear7h:issue-3790-fix-foreign-stringear7h/Idris2:issue-3790-fix-foreign-stringCopy head branch name to clipboard