--new

Class A{
   r:Undef;
   s:D;
   a():Int{
	{
	new Undef;  -- undefined type
	let a:Undef in
	    a<- new Undef;
	r <- new Undef;
	r <- new C;
	s <- new C;
	s <- r;
	isvoid(new D);
	isvoid(new Undef);
	}
	};
};

Class D inherits C{
   c():Bool {
	true
	};
};

Class C{
   c():Bool {
	true
	};
};

Class Main{
   main():Object{
	1
	};
};