Fixed test case to include new stuff

analyzer/type-section_test.go

@@ -4,8 +4,13 @@ import "testing"
 
 func TestTypeSection (test *testing.T) {
 	checkTree ("../tests/analyzer/typeSection", false,
-`typeSection ro ../tests/analyzer/typeSection/something.Thing
+`typeSection ro ../tests/analyzer/typeSection/required.aBasic
 	type 1 basic Int
+typeSection ro ../tests/analyzer/typeSection/required.bBird
+	type 1 basic Obj
+	member rw wing
+		type 1 basic Int
+		arg uint 2
 typeSection ro ../tests/analyzer/typeSection.aBasicInt
 	type 1 basic Int
 	arg uint 5
@@ -14,10 +19,23 @@ typeSection ro ../tests/analyzer/typeSection.bOnBasicInt
 typeSection ro ../tests/analyzer/typeSection.cBasicObject
 	type 1 basic Obj
 	member ro that
-		type 1 basic Int
+		type 1 basic UInt
 	member ro this
 		type 1 basic Int
-typeSection ro ../tests/analyzer/typeSection.dInheritedFromOther
-	type 1 basic Thing
+typeSection ro ../tests/analyzer/typeSection.dInheritFromOther
+	type 1 basic aBasic
+typeSection ro ../tests/analyzer/typeSection.eInheritObject
+	type 1 basic cBasicObject
+	member ro that
+		type 1 basic UInt
+		arg uint 5
+typeSection ro ../tests/analyzer/typeSection.fInheritObjectFromOther
+	type 1 basic bBird
+	member ro wing
+		type 1 basic Int
+		arg uint 2
+	member ro beak
+		type 1 basic Int
+		arg uint 238
 `, test)
 }

tests/analyzer/typeSection/main.arf

@@ -1,5 +1,5 @@
 :arf
-require './something'
+require './required'
 ---
 
 type ro aBasicInt:Int 5
@@ -10,11 +10,11 @@ type ro cBasicObject:Obj
 	ro that:UInt
 	ro this:Int
 
-type ro dInheritFromOther:something.aBasic
+type ro dInheritFromOther:required.aBasic
 
 type ro eInheritObject:cBasicObject
 	ro that 5
 
-type ro dInheritObjectFromOther:something.bBird
+type ro fInheritObjectFromOther:required.bBird
 	ro wing 2
 	ro beak:Int 238