/[eiffelstudio]/trunk/eweasel/tests/inference007/a.e
ViewVC logotype

Contents of /trunk/eweasel/tests/inference007/a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 94364 - (show annotations)
Wed Feb 19 09:01:05 2014 UTC (5 years, 11 months ago) by alexk
File size: 195 byte(s)
Changed the test to avoid VEVI errors.
1 class A [G -> COMPARABLE]
2
3 feature
4
5 f (g: G)
6 local
7 x
8 do
9 x := g
10 if x > x or else x.is_less (x) then
11 print ("Failed")
12 else
13 print ("OK")
14 end
15 io.put_new_line
16 end
17
18 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23