(*
 * Various fiddlings with notations for a generic stack.  Obviously there are
 * syntax errors with the "<< ... >>" notation in RSL V3.
 *)


obj Stack(<<Elem>>) =  <<Elem>>*;
obj IntStack =  Stack(integer);		(* BIG QUESTION: what's the diff *)
obj InsStack < Stack(integer);		(*  betweeen these two?? *)


obj Stack = <<Elem>>*;
obj IntStack < Stack			(* AS ABOVE, what's the diff between *)
    where: <<Elem>> = integer;		(*  generic instantiaion with '<' vs *)
end IntStack;				(*  'is'?? *)
obj IntStack =  Stack
    where: <<Elem>> = integer;
end IntStack


obj Stack(?Elem) =  ?Elem*;
obj IntStack =  Stack(integer);