Subversion Repositories openrisc

-- { dg-do compile }

package tag2 is

   type I is synchronized interface;

   type T1 is tagged;

   type T2 is tagged;

   type T3 is tagged;

   type T4 is tagged;

   type T5 is tagged;

   type T6 is tagged;

   protected type T1 is end T1; -- { dg-error "must be a tagged type" }

   task type T2;                -- { dg-error "must be a tagged type" }

   type T3 is null record;      -- { dg-error "must be a tagged type" }

   task type T4 is new I with end;

   protected type T5 is new I with end;

   type T6 is tagged null record;

end tag2;