PR# 19499 VAPE not reported during incremental compilation
Problem Report Summary
Submitter: gobobe
Category: Compiler
Priority: Low
Date: 2018/11/09
Class: Bug
Severity: Non-critical
Number: 19499
Release: 18.07.10.1981
Confidential: No
Status: Open
Responsible:
Environment: win
Synopsis: VAPE not reported during incremental compilation
Description
If I have the following class: ~~~~~~~~~~~~~~~~~~ class Y feature {X} f require g do end feature {NONE} g: BOOLEAN do Result := True end end ~~~~~~~~~~~~~~~~~~ and class X does not exist, and then I have the following code: ~~~~~~~~~~~~~~~~~~ f local y: Y do create y end ~~~~~~~~~~~~~~~~~~ the code compiles without any errors. If later I add class X: ~~~~~~~~~~~~~~~~~~ class X end ~~~~~~~~~~~~~~~~~~ and change `f' to be: ~~~~~~~~~~~~~~~~~~ f local y: Y x: X do create y create x end ~~~~~~~~~~~~~~~~~~ the compiler fails to report a VAPE validity error in class Y (`g' appearing in the precondition of `f' is not exported to X). If I recompile from scratch, then the VAPE validity error is successfully reported. -- Eric Bezault
To Reproduce
Problem Report Interactions