PR# 13660 When compiling a deferred function that returns an attached type, an error is generated

Problem Report Summary
Submitter: maverick
Category: Compiler
Priority: High
Date: 2007/11/21
Class: Bug
Severity: Serious
Number: 13660
Release: 6.1.7.1223
Confidential: No
Status: Closed
Responsible:
Environment: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.8.1.9) Gecko/20071025 Firefox/2.0.0.9
Synopsis: When compiling a deferred function that returns an attached type, an error is generated

Description
When compiling a deferred function that returns an attached type, an error saying that Result is not properly set is generated.  

Here is the function causing the error :

43	substitution (s: SUBSTITUTION): FORMULA is
44			--
45		deferred
46		end

Error code: VEVI
Error: variable is not properly set.
What to do: ensure the variable is properly set by the corresponding
  setter instruction.

Class: PA_FORMULA
Feature: substitution
Variable: Result
Line: 46
      deferred
->    end
  
To Reproduce
try to compile a deferred class with a deferred function.  Like this

	funct: ANY is
		deferred
		end


Problem Report Interactions
From:alexk_es    Date:2007/11/22    Status: Closed    Download   
Fixed in rev#71247.
Thank you for the bug report.