ViewVC logotype

Revision 12165

Jump to revision: Previous Next
Author: manus
Date: Sat Dec 5 19:29:49 1998 UTC (21 years, 1 month ago)
Changed paths: 1
Log Message:
Before when compiling this code:

	secret: REAL
	guess_history: ARRAY [like secret]

	do_something is
			gh: like guess_history
			gh := guess_history

you got the following error:

Error code: VJAR
Type error: source of assignment does not conform to target.
What to do: make sure that type of source (right-hand side)
  conforms (in the sense of inheritance rule) to type of target.

Feature: is_closest
Target name: gh
Target type: ARRAY [[like secret]: REAL]
Source_type: ARRAY [[like secret]: REAL]

because we forget to take the actual type of `other' in internal_conforms_to.

Changed paths

Path Details
Directorytrunk/Src/bench/Eiffel/API/evaluated_type/like_type_a.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23