//-----------------------------------------------------------------------
// Example of subrange checking.  
//-----------------------------------------------------------------------

main module subrange
	declare
	    THis_range is 1..10
	    Sub_range is this_range range 1..5
	    Item : Sub_range
	enddeclare

	Item := 6	// This is a compile time range error
endmodule