| commit | d5ad08d77c92e50f24798f357dd688b9060c6f68 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Thu Mar 23 11:54:46 2023 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Tue May 23 10:09:27 2023 -0600 |
| tree | ea717a62e9f5589444451867ca963f8a488c1ac2 | |
| parent | 6aebb6e100fb3c5e2acf19f8b0432b3b4fd750e0 [diff] |
Use field_signed from Python MI commands If an MI command written in Python includes a number in its output, currently that is simply emitted as a string. However, it's convenient for a later patch if these are emitted using field_signed. This does not make a difference to ordinary MI clients.