| commit | 8ea36fc9f314e9de921044883457085b57c16045 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sat Aug 23 11:39:35 2025 -0600 |
| committer | Tom Tromey <tom@tromey.com> | Tue Sep 09 18:24:32 2025 -0600 |
| tree | 2741275ebd3e20c11b528b624fc4bf136051894e | |
| parent | 1faabbe632569058ff4dbc3939a493ffc88de47f [diff] |
Make type_stack pushing a bit safer This changes type_stack to make pushing elements a bit safer: if an element requires an argument, these are now always pushed at the same time, rather than separately. This patch also adds a few comments to help document a bit better. Approved-By: Simon Marchi <simon.marchi@efficios.com>