CHANGE: revisited vector construction syntax types

Now accepting for example `i16!` and `uint16!` instead of previous `si16!` and `ui16!`.

Author: Oldes

src/boot/words.reb

@@ -27,25 +27,38 @@ any-object!
 any-block!
 
 ;- numeric types (used for "short" vector! construction)
-;- like: #[ui8! 4] which is same like: make vector! [unsigned integer! 8 4]
+;- like: #[u8! 4] which is same like: make vector! [unsigned integer! 8 4]
 ;  these numeric files are used in l-types.c and t-vector.c sources
 ;  and can be used for future struct! and routine! implementations
-si8!
-si16!
-si32!
-si64!
+i8!
+i16!
+i32!
+i64!
 
-ui8!
-ui16!
-ui32!
-ui64!
+u8!
+u16!
+u32!
+u64!
 
 f32!
 f64!
-;@@ O: Should be supported also longer variants like uint8! etc?
-; end of numeric types
 
-datatypes
+int8!
+int16!
+int32!
+int64!
+
+uint8!
+uint16!
+uint32!
+uint64!
+
+float!
+double!
+byte!
+; end of numeric types (code in l-types.c expects, that next word is `datatypes`)
+
+datatypes 
 
 native
 self

src/core/l-types.c

@@ -1094,7 +1094,7 @@ bad_hex:	Trap0(RE_INVALID_CHARS);
 			return TRUE;
 
 		default:
-			if (type >= SYM_SI8X && type <= SYM_F64X) {
+			if (type >= SYM_I8X && type < SYM_DATATYPES) {
 				if (MT_Vector(value, val, REB_VECTOR)) return TRUE;
 			}
 			return FALSE;

src/core/t-vector.c

@@ -487,16 +487,27 @@ void Set_Vector_Row(REBSER *ser, REBVAL *blk)
 	// SIGNED / UNSIGNED
 	if (IS_WORD(bp)) {
 		switch (VAL_WORD_CANON(bp)) {
-		case SYM_SI8X:  type = 0; sign = 0; bits =  8; bp++; goto size_spec;
-		case SYM_UI8X:  type = 0; sign = 1; bits =  8; bp++; goto size_spec;
-		case SYM_SI16X: type = 0; sign = 0; bits = 16; bp++; goto size_spec;
-		case SYM_UI16X: type = 0; sign = 1; bits = 16; bp++; goto size_spec;
-		case SYM_SI32X: type = 0; sign = 0; bits = 32; bp++; goto size_spec;
-		case SYM_UI32X: type = 0; sign = 1; bits = 32; bp++; goto size_spec;
-		case SYM_SI64X: type = 0; sign = 0; bits = 64; bp++; goto size_spec;
-		case SYM_UI64X: type = 0; sign = 1; bits = 64; bp++; goto size_spec;
-		case SYM_F32X:  type = 1; sign = 0; bits = 32; bp++; goto size_spec;
-		case SYM_F64X:  type = 1; sign = 0; bits = 64; bp++; goto size_spec;
+		case SYM_I8X:
+		case SYM_INT8X:   type = 0; sign = 0; bits =  8; bp++; goto size_spec;
+		case SYM_U8X:
+		case SYM_BYTEX:
+		case SYM_UINT8X:  type = 0; sign = 1; bits =  8; bp++; goto size_spec;
+		case SYM_I16X:
+		case SYM_INT16X:  type = 0; sign = 0; bits = 16; bp++; goto size_spec;
+		case SYM_U16X:
+		case SYM_UINT16X: type = 0; sign = 1; bits = 16; bp++; goto size_spec;
+		case SYM_I32X:
+		case SYM_INT32X:  type = 0; sign = 0; bits = 32; bp++; goto size_spec;
+		case SYM_U32X:
+		case SYM_UINT32X: type = 0; sign = 1; bits = 32; bp++; goto size_spec;
+		case SYM_I64X:
+		case SYM_INT64X:  type = 0; sign = 0; bits = 64; bp++; goto size_spec;
+		case SYM_U64X:
+		case SYM_UINT64X: type = 0; sign = 1; bits = 64; bp++; goto size_spec;
+		case SYM_F32X:
+		case SYM_FLOATX:  type = 1; sign = 0; bits = 32; bp++; goto size_spec;
+		case SYM_F64X:
+		case SYM_DOUBLEX: type = 1; sign = 0; bits = 64; bp++; goto size_spec;
 
 		case SYM_UNSIGNED: sign = 1; bp++; break;
 		case SYM_SIGNED:   sign = 0; bp++; break;

src/tests/units/codecs-test.r3

@@ -150,7 +150,7 @@ if find codecs 'wav [
 			bin: none
 
 		--test-- "Encode WAV"
-			samples: #[si16! [0 -1000 -2000 -1000 0 1000 2000 1000 0]]
+			samples: #[i16! [0 -1000 -2000 -1000 0 1000 2000 1000 0]]
 			--assert binary? bin: encode 'wav :samples
 			--assert object? snd: decode 'wav :bin
 			--assert   'wave = snd/type

src/tests/units/make-test.r3

@@ -347,7 +347,7 @@ Rebol [
 		--assert  error?  try [make block! quote #FF        ] ; issue!
 		--assert  error?  try [make block! quote #[bitset! #{FF}]        ] ; bitset!
 		--assert  error?  try [make block! quote #[image! 1x1 #{FFFFFF}] ] ; image!
-		--assert  [0 0] = try [make block! quote #[ui32! 2 [0 0]]        ] ; vector!
+		--assert  [0 0] = try [make block! quote #[u32! 2 [0 0]]        ] ; vector!
 		--assert [a: 1] = try [make block! quote #[object! [a: 1]]       ] ; object!
 		--assert  error?  try [make block! #[typeset! [#[datatype! integer!] #[datatype! percent!]]] ] ; typeset!
 

src/tests/units/series-test.r3

@@ -1002,7 +1002,7 @@ Rebol [
 
 	;@@ https://github.com/Oldes/Rebol-issues/issues/806
 	--assert #{0303} = remove-each v #{03010203} [v < 3]
-	--assert [3 3] = to block! remove-each v #[ui16! [3 1 2 3]] [v < 3]
+	--assert [3 3] = to block! remove-each v #[u16! [3 1 2 3]] [v < 3]
 
 --test-- "remove-each/count result"
 	b: [a 1 b 2]