{ Pascal Validation Suite Version 5.7 } { } { (C) Copyright 1982, British Standards Institution } { } { TEST 6.4.3.3-3, FILE=CONF057, CLASS=CONFORMANCE, LEVEL=0 } { } {:This test checks that an empty record can be declared. } { } { Since this is the limiting case of a structured-type, some } { processors may mis-handle it. The following program illustrates } { one of the uses. } { } { Modification History : } { V3.0: Comment revised and test slightly extended. } { V5.2: File header comments reformatted and file name added to } { TEST line and output lines. } { } program CONF057(output); type statuskind = (defined,undefined); emptykind = record end; var empty : emptykind; number: record case status:statuskind of defined : (i : integer); undefined: (e : emptykind) end; begin with number do begin status:=defined; i:=7 end; with number do begin status:=undefined end; writeln(' PASS...6.4.3.3-3 (CONF057)') end.