Archived tweet #10012 from the @leastfixedpoint Twitter Archive

@jonathoda @arntzenius Wow, that's the first I've heard of that particular constraint! Ugh. It makes sense for it to have been formulated that way, given the prevalence of AoT-compiled language implementations :-/