Hi Pierre,
Pierre pierreganty@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/a83bde72b3b5e650dfae48cc12ac4...
I guess I should add a diagnostic for the unused ones as well. Thank for pointing this out.
Alexandre