>
> That, actually, in my opinion, isn't a good way to do it. It only works by
> accident for that exact value. Let's say, for example, that we were
> defining
> DOT7, which is 0100. -0100 would be 0277.
>

Agreed, it wasn't intended as a long term solution.


>  Yes, of course. I was suffering from bilingual confusion, i.e. thinking
> of a
> char as it's used in C. Those DOTn constants should really be defined as
> bytes,
> which they now are. Even then, of course, using 0200 as an initializer
> fails.
> Type-casting the constant as a byte, however, works fine. Please retest
> again.
>

Yes, it works this time, (but does require type-casting when DOT8 is used as
you mention).


>  Constants.java is generated. The actual change is in constants.awk.


Nice.

Thanks Dave
_______________________________________________
This message was sent via the BRLTTY mailing list.
To post a message, send an e-mail to: [email protected]
For general information, go to: http://mielke.cc/mailman/listinfo/brltty

Reply via email to