Empty body large return values not sound

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)

MIT License

12 stars 0 forks source link

Closed andrew-johnson-4 closed 1 week ago

andrew-johnson-4 commented 4 weeks ago

let f := λ(: x X). (: x X);

andrew-johnson-4 commented 3 weeks ago

Returning arguments with large sizes is somehow unsound.