[comp.lang.eiffel] Eiffel on the NeXT?

pclark@SRC.Honeywell.COM (Peter Clark) (06/15/90)

The header kind o' says it all. Is Eiffel out for the NeXT? Will it be out
soon? (It surely is easy to port it if one has the source for a sun-3
version...) 

	Pete Clark
	Honeywell SRC
	Minneapolis, Mn

bertrand@eiffel.UUCP (Bertrand Meyer) (06/15/90)

Interactive currently has no effort directed at making Eiffel
available on the NeXT. I do not know of anyone else who does.

By the way: we just released a version for A/UX (on Apple Macintosh).
-- 
-- Bertrand Meyer
bertrand@eiffel.com

roosen@cstw56.prl.philips.nl (Monique Roosen) (06/15/90)

This is a follow-up to a previous message with respect to the extension
of a STRING class. It can be placed in the same context.

I want to make a class POS_REAL like :

         class POS_REAL
               inherit FLOAT
         -- maybe some extra features
               -- class invariant
               invariant
                    Current >= 0.0
         end -- class POS_REAL

Of course I get the following error-message with respect to the invariant
line :

         Type mismatch: REAL is not a descendant class of POS_REAL
         Incorrect type for argument number 1 of _infix_ge

I suppose the following assignment won't work either :

         x : POS_REAL ;
         x := 1.2

The work-around for the STRING class was the share-feature, but this
feature is not available within the FLOAT class.

Is there anybody out there who knows a solution for this problem ??
Is ISE thinking of a change for these basic class types ??

Thanks in advance.

Monique

jwg1@gte.com (James W. Gish) (06/16/90)

In article <347@eiffel.UUCP> bertrand@eiffel.UUCP (Bertrand Meyer) writes:
>	By the way: we just released a version for A/UX (on Apple Macintosh).

Next obvious question: when do you come out with a Mac OS version with
nice class libraries to get at the toolbox?


--
Jim Gish (jgish@gte.com)