28 Oct
2022
28 Oct
'22
2:45 p.m.
Hi Pierre,
Pierre <pierreganty(a)gmail.com> writes:
On the other hand, `jhoafparser parse` returns a
warning:
`Warning: There are <number> states without definition`
However `jhoafparser print` performs no padding unlike `autfilt
--hoaf`.
Check out this discussion we had seven years ago while developing the
format. It's about this exact point.
https://github.com/adl/hoaf/issues/39
[...] Perhaps the same warning should be output by
`autfilt` so that
the user knows something is going on when looking at `%[a]s`.
It seems like I wrote in the above issue that I considered the absence
of warning as a bug. But somehow, when I implemented the diagnostic two
days later, I only reported undeclared states if they were used
somewhere.
https://gitlab.lre.epita.fr/spot/spot/-/commit/a83bde72b3b5e650dfae48cc12ac…
I guess I should add a diagnostic for the unused ones as well. Thank
for pointing this out.
Alexandre