//%set warn_dynamic_holy_types = true
//%set clear_dynamic_holy_types = false
main module TESTholy
    declare		// declare something with holes
	A is
	     packed structure
		B :  5 bit integer
		C : 12 bit integer
		D : packed array [1..4] of char
	    endstructure
    enddeclare

    procedure TESTholes
     	param		//  initially stops the diagnostic - not right?
	    W : out val A /////////////initially A(my_tag:Test_1)
    	endparam		
    endprocedure
    function Hole_function ()
	returns joe:A
    endfunction
    declare
	R : A
	T : static A
    enddeclare

    TESTholes (T)
    T := hole_function ()

    T := A (B:4)
endmodule