Path: utzoo!attcan!uunet!jarthur!usc!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!enea!uddeborg
From: uddeborg@enea.se (G|ran Uddeborg)
Newsgroups: comp.lang.eiffel
Subject: Problem with Create on entity of constrained generic type
Message-ID: <1143@enea.se>
Date: 5 Apr 90 20:17:16 GMT
Reply-To: uddeborg@enea.se (G|ran Uddeborg)
Organization: Enea Data AB, Sweden
Lines: 24
UUCP-Path: sunic!enea!uddeborg

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