diff --git a/analyzer/type-section_test.go b/analyzer/type-section_test.go
index 1adb0c5..af7174c 100644
--- a/analyzer/type-section_test.go
+++ b/analyzer/type-section_test.go
@@ -5,6 +5,6 @@ import "testing"
 func TestTypeSection (test *testing.T) {
 	checkTree ("../tests/analyzer/typeSection", false,
 `typeSection ../tests/analyzer/typeSection.basicInt
-	type basic Int
+	type 1 basic Int
 `, test)
 }
diff --git a/analyzer/type.go b/analyzer/type.go
index 92757af..c42e772 100644
--- a/analyzer/type.go
+++ b/analyzer/type.go
@@ -76,7 +76,8 @@ func (analyzer AnalysisOperation) analyzeType (
 	err error,
 ) {
 	outputType.mutable = inputType.Mutable()
-	if inputType.Length() < 1 {
+	outputType.length  = inputType.Length()
+	if outputType.length < 1 {
 		err = inputType.NewError (
 			"cannot specify a length of zero",
 			infoerr.ErrorKindError)