/[eiffelstudio]/trunk/eweasel/tests/incr403/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/incr403/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 85257 - (show annotations)
Tue Jan 4 17:28:22 2011 UTC (8 years, 8 months ago) by dhollen
File size: 130 byte(s)
Added eweasel test incr403 for bug #17257, where changing the type of an
entity that is referenced by a qualified anchored type that is the (open)
target for an inline agent causes the compiler to miss an "agent with basic
target" validity error.

1
2 class TEST
3 create
4 make
5 feature
6 make
7 local
8 a: ANY
9 do
10 a := (agent {like {TEST2}.x}.count).item (["Weasel"])
11 end
12
13 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23