-- filename: framelis.ads 2:17PM  10/31/95
-- defines package framelist as instantiation of List for symbol tables.
-- We need to create lists of frames before we can instantiate the child
-- package list.stacks in order to create stacks of frames

with list, frame;
package framelist is new list(frame.table);