[comp.lang.eiffel] Problem with Create on entity of constrained generic type

uddeborg@enea.se (G|ran Uddeborg) (04/06/90)

The following example is causing a RUN TIME error.

    class A[T->COMPARABLE]
    export
      f
    feature
      f is local x: T do x.Create end
    end

    class B
    feature
      Create is local a: A[STRING] do a.Create; a.f end
    end

I know that it is (unfortunately) not allowed to do Create on an
entity whose type is a formal generic parameter, and can also imagine
implementation reasons for this restriction.  What I don't understand
is why this is not discovered at compile time.  It IS discovered if
the parameter is not constrained!

My excuses if I am reiterating an old well-known bug or problem.
-- 
G|ran Uddeborg
uddeborg@enea.se