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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89260 - (show annotations)
Tue Jul 31 16:46:03 2012 UTC (7 years, 6 months ago) by dhollen
File size: 208 byte(s)
Added test attach097 for bug #18283, where an assignment of `Current' to
an entity of formal generic type should be valid due to a conversion, but
the compiler reports an error if compiled in void-safe mode.

1
2 class TEST1 [G -> TEST2 create default_create end]
3
4 create
5 default_create
6 convert
7 to_generic: {G}
8
9 feature
10
11 try
12 local
13 x: G
14 do
15 x := Current
16 end
17
18 to_generic: G
19 do
20 create Result
21 end
22
23 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23