TEST: basic struct! tests

Author: Oldes

src/tests/run-tests.r3

@@ -54,6 +54,7 @@ dt [ ;- delta time
 		%units/power-test.r3
 		%units/protect-test.r3
 		%units/series-test.r3
+		%units/struct-test.r3
 		%units/task-test.r3
 		%units/time-test.r3
 		%units/tuple-test.r3

src/tests/units/lexer-test.r3

@@ -349,6 +349,7 @@ Rebol [
 		--assert  "b" = load {#[string! "ab" 2]}
 		--assert %ab  = load {#[file! "ab"]}
 		--assert  %b  = load {#[file! "ab" 2]}
+		--assert struct? load {#[struct! []]}
 		;@@ https://github.com/Oldes/Rebol-issues/issues/1034
 		--assert error? try [load {#[string! "ab" 2 x]}]
 		--assert error? try [load {#[file! "ab" x]}]

src/tests/units/struct-test.r3

@@ -0,0 +1,114 @@
+Rebol [
+	Title:   "Rebol struct test script"
+	Author:  "Oldes"
+	File: 	 %struct-test.r3
+	Tabs:	 4
+	Needs:   [%../quick-test-module.r3]
+]
+
+~~~start-file~~~ "STRUCT"
+
+===start-group=== "Struct single value construction"
+	--assert not error? try [
+		i8:  make struct! [a [int8!]]
+		i16: make struct! [a [int16!]]
+		i32: make struct! [a [int32!]]
+		i64: make struct! [a [int64!]]
+		u8:  make struct! [a [uint8!]]
+		u16: make struct! [a [uint16!]]
+		u32: make struct! [a [uint32!]]
+		u64: make struct! [a [uint64!]]
+		f32: make struct! [a [float!]]
+		f64: make struct! [a [double!]]
+	]
+	--assert 1 = length? i8
+	--assert 2 = length? i16
+	--assert 4 = length? i32
+	--assert 8 = length? i64
+	--assert 1 = length? u8
+	--assert 2 = length? u16
+	--assert 4 = length? u32
+	--assert 8 = length? u64
+	--assert 4 = length? f32
+	--assert 8 = length? f64
+	--assert (mold i8 ) = "make struct! [a: [int8!] 0]"
+	--assert (mold i16) = "make struct! [a: [int16!] 0]"
+	--assert (mold i32) = "make struct! [a: [int32!] 0]"
+	--assert (mold i64) = "make struct! [a: [int64!] 0]"
+	--assert (mold u8 ) = "make struct! [a: [uint8!] 0]"
+	--assert (mold u16) = "make struct! [a: [uint16!] 0]"
+	--assert (mold u32) = "make struct! [a: [uint32!] 0]"
+	--assert (mold u64) = "make struct! [a: [uint64!] 0]"
+	--assert (mold f32) = "make struct! [a: [float!] 0.0]"
+	--assert (mold f64) = "make struct! [a: [double!] 0.0]"
+===end-group===
+
+
+===start-group=== "Struct single value (dimensional) construction"
+	--assert not error? try [
+		i8x2:  make struct! [a [int8!   [2]]]
+		i16x2: make struct! [a [int16!  [2]]]
+		i32x2: make struct! [a [int32!  [2]]]
+		i64x2: make struct! [a [int64!  [2]]]
+		u8x2:  make struct! [a [uint8!  [2]]]
+		u16x2: make struct! [a [uint16! [2]]]
+		u32x2: make struct! [a [uint32! [2]]]
+		u64x2: make struct! [a [uint64! [2]]]
+		f32x2: make struct! [a [float!  [2]]]
+		f64x2: make struct! [a [double! [2]]]
+	]
+	--assert [a [int8!   [2]]] = spec-of i8x2
+	--assert [a [int16!  [2]]] = spec-of i16x2
+	--assert [a [int32!  [2]]] = spec-of i32x2
+	--assert [a [int64!  [2]]] = spec-of i64x2
+	--assert [a [uint8!  [2]]] = spec-of u8x2
+	--assert [a [uint16! [2]]] = spec-of u16x2
+	--assert [a [uint32! [2]]] = spec-of u32x2
+	--assert [a [uint64! [2]]] = spec-of u64x2
+	--assert [a [float!  [2]]] = spec-of f32x2
+	--assert [a [double! [2]]] = spec-of f64x2
+
+	--assert 2  = length? i8x2
+	--assert 4  = length? i16x2
+	--assert 8  = length? i32x2
+	--assert 16 = length? i64x2
+	--assert 2  = length? u8x2
+	--assert 4  = length? u16x2
+	--assert 8  = length? u32x2
+	--assert 16 = length? u64x2
+	--assert 8  = length? f32x2
+	--assert 16 = length? f64x2
+	--assert (mold i8x2 ) = "make struct! [a: [int8! [2]] [0 0]]"
+	--assert (mold i16x2) = "make struct! [a: [int16! [2]] [0 0]]"
+	--assert (mold i32x2) = "make struct! [a: [int32! [2]] [0 0]]"
+	--assert (mold i64x2) = "make struct! [a: [int64! [2]] [0 0]]"
+	--assert (mold u8x2 ) = "make struct! [a: [uint8! [2]] [0 0]]"
+	--assert (mold u16x2) = "make struct! [a: [uint16! [2]] [0 0]]"
+	--assert (mold u32x2) = "make struct! [a: [uint32! [2]] [0 0]]"
+	--assert (mold u64x2) = "make struct! [a: [uint64! [2]] [0 0]]"
+	--assert (mold f32x2) = "make struct! [a: [float! [2]] [0.0 0.0]]"
+	--assert (mold f64x2) = "make struct! [a: [double! [2]] [0.0 0.0]]"
+===end-group===
+
+i8:
+i16:
+i32:
+i64:
+u8:
+u16:
+u32:
+u64:
+f32:
+f64:
+i8x2:
+i16x2:
+i32x2:
+i64x2:
+u8x2:
+u16x2:
+u32x2:
+u64x2:
+f32x2:
+f64x2: none
+
+~~~end-file~~~