patched problem with returning string as static array of char

added test

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8442 8c9fc860-2736-0410-a75d-ab315db34111

source/FoxIntermediateBackend.Mod

@@ -11805,10 +11805,11 @@ TYPE
 						Emit(Return(position,res.op));
 						ReleaseOperand(res);
 					END;
-				ELSIF (type IS SyntaxTree.RecordType) OR (type IS SyntaxTree.ArrayType) OR (type IS SyntaxTree.RangeType) OR (type IS SyntaxTree.ComplexType) OR type.IsPointer()
+				ELSIF (type IS SyntaxTree.RecordType) OR (type IS SyntaxTree.ArrayType) OR (type IS SyntaxTree.RangeType) OR (type IS SyntaxTree.ComplexType) OR (type IS SyntaxTree.StringType) OR type.IsPointer()
 				THEN
 					(* return using structured return parameter *)
 					ASSERT((type IS SyntaxTree.RecordType) OR (type IS SyntaxTree.RangeType) OR (type IS SyntaxTree.ComplexType) OR (type IS SyntaxTree.ArrayType) & (type(SyntaxTree.ArrayType).form = SyntaxTree.Static)
+						OR (type IS SyntaxTree.StringType)
 						OR SemanticChecker.IsPointerType(type));
 					(* parameter := currentScope(SyntaxTree.ProcedureScope).FindParameter(Global.ReturnParameterName); *)
 					parameter :=procedureType.returnParameter;

source/Oberon.Execution.Test

@@ -7872,3 +7872,13 @@ positive: index operators on objects
 		Test;
 	END Test.
 
+positive: return string as static array of char
+	MODULE Test;
+	PROCEDURE Test(): ARRAY 32 OF CHAR;
+	BEGIN
+		RETURN "Hello";
+	END Test;
+	BEGIN
+		ASSERT(Test() = "Hello"); 
+	END Test.
+