[gobo-eiffel-develop] Sized integer constants

[Colin P. A. <co...@co...>]

I have code thus:


	rule_set_rule_char: INTEGER_8 is 128
			-- Unicode character class index

	rule_set_digit_char: INTEGER_8 is 129
			-- Unicode character class index


ISE 6.1 is complaining:


Error code: VQMC
Error: type of manifest constant does not match declaration.
What to do: use appropriate manifest constant type as value,
  or change declared type to match value.

Class: RX_UC_GRAMMAR
Constant name: rule_set_rule_char
Found constant of type: INTEGER_32
Declared type: INTEGER_8


I guess that means I need to write:



	rule_set_rule_char: INTEGER_8 is {INTEGER_8} 128
			-- Unicode character class index

	rule_set_digit_char: INTEGER_8 is {INTEGER_8} 129
			-- Unicode character class index


but is that OK in Gobo for all currently supported compilers?

If not, will changing the manifest constants to once routines be the
best work-around?
-- 
Colin Adams
Preston Lancashire