PR# 2459 Generic parameter creation must be exported to client

The creation procedure of a generic parameter must be exported to the client of the class instead of the generic class itself.  In addition, if you export to the client, compile and then export only to the generic class, it now compiles OK.
                 Randy

class
	ROOT_CLASS

creation

	make

feature -- Initialization

	make is
	do
	end

	g: GENERIC[CHILD]

end
====================================
class
	GENERIC[G->PARENT create default_create end]

feature

end
====================================
deferred class
	PARENT

feature

end
====================================
class
	CHILD

inherit
	PARENT

creation {GENERIC}
--creation {ROOT_CLASS}	-- Uncomment this line and recompile.
			-- Now put the comment back, it still works!
	default_create

feature

end

Compile the program "as is".  It fails.
Uncomment the line in CHILD.
Compile.  It succeeds.
Put the comment back.
Compile.  It still succeeds!!!!!!!

to trigger an actual check you have to add the following code for >6.0 to get an error in the ROOT_CLASS:


 
   make is
   do
      create g
   end
 
   g: GENERIC[CHILD]