Add non-basic types to type section test case

analyzer/func-section.go

@@ -0,0 +1,3 @@
+package analyzer
+
+// TODO

analyzer/func-section_test.go

@@ -0,0 +1,18 @@
+package analyzer
+
+import "testing"
+
+func TestFuncSection (test *testing.T) {
+	checkTree ("../tests/analyzer/funcSection", false,
+`
+typeSection ro ../tests/analyzer/funcSection.aCString
+	type 1 pointer {Int}
+funcSection ro ../tests/analyzer/funcSection.bArbitrary
+	block
+		arbitraryPhrase
+			command 'puts'
+			cast
+				type aCString
+				arg string 'hellorld` + "\000" + `'
+`, test)
+}

analyzer/type-section_test.go

@@ -37,5 +37,9 @@ typeSection ro ../tests/analyzer/typeSection.fInheritObjectFromOther
 	member ro beak
 		type 1 basic Int
 		arg uint 238
+typeSection ro ../tests/analyzer/typeSection.gPointer
+	type 1 pointer {Int}
+typeSection ro ../tests/analyzer/typeSection.hDynamicArray
+	type 1 dynamicArray {Int}
 `, test)
 }

analyzer/type.go

@@ -53,7 +53,7 @@ func (what Type) ToString (indent int) (output string) {
 	case TypeKindPointer:
 		output += " pointer"
 	case TypeKindVariableArray:
-		output += " variableArray"
+		output += " dynamicArray"
 	}
 
 	if what.points != nil {

tests/analyzer/funcSection/main.arf

@@ -0,0 +1,8 @@
+:arf
+---
+
+type ro aCString:{U8}
+
+func ro bArbitrary
+	---
+	'puts' [cast 'hellorld\000' aCString]

tests/analyzer/typeSection/main.arf

@@ -19,4 +19,8 @@ type ro fInheritObjectFromOther:required.bBird
 	ro wing 2
 	ro beak:Int 238
 
+type ro gPointer:{Int}
+
+type ro hDynamicArray:{Int ..}
+
 # TODO: test a type that has a member pointing to itself