[gobo-eiffel-develop] geant does not compile with ISE 5.7

[Eric B. <er...@go...>]

Hi Jocelyn,

Some of the modifications you made in geant don't compile with
ISE 5.7:

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Error code: VTCG
Error: actual generic parameter does not conform to constraint.
What to do: make sure that actual parameter is a type conforming to the
   constraint (the type appearing after `->' for the corresponding formal).

Class: GEANT_GROUP
Feature: invariant
In declaration: GEANT_TASK_BUILDER [GEANT_TASK]

For type: GEANT_TASK_BUILDER [GEANT_TASK]
Argument number: 1:
Actual generic parameter: GEANT_TASK
Type to which it should conform: GEANT_TASK
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Can you implement it in some other way than using generic
constraint creation? I know that adding `make' as creation
procedure of GEANT_TASK would work, but I do believe that
GEANT_TASK should be declared as deferred anyway.

As a matter of fact, I prefer the old way with the inspect
rather than relying on generic constraint creation to
implement a pseudo factory which is used in a single place
in a non-polymorphic way.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com