/[eiffelstudio]/trunk/eweasel/tests/anchor040/test1.e
ViewVC logotype

Contents of /trunk/eweasel/tests/anchor040/test1.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83642 - (show annotations)
Mon Jun 21 15:49:01 2010 UTC (9 years, 7 months ago) by dhollen
File size: 141 byte(s)
Added eweasel test anchor040 for bug #16890, where a finalized system that uses
qualified anchored types involving generic classes and `like Current' produces
the wrong generating type.

1
2 class TEST1 [G -> ANY create default_create end]
3 feature
4
5 try
6 do
7 create x
8 print (x.generating_type); io.new_line
9 end
10
11 x: G
12
13 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23