{                Pascal Validation Suite  Version 5.7                }
{                                                                    }
{          (C) Copyright 1982, British Standards Institution         }
{                                                                    }
{ TEST 6.4.3.3-1, FILE=CONF055, CLASS=CONFORMANCE, LEVEL=0           }
{                                                                    }
{:This program simply tests that all valid productions from the      }
{:syntax for record-types are accepted by this processor.            }
{                                                                    }
{                                                                    }
{ Modification History :                                             }
{   V3.0: According to DP7185 'd = record ; end' is syntactically    }
{         incorrect. Test the empty record. Also, record             }
{         definition nesting to three deep included.                 }
{   V5.2: File header comments reformatted and file pname added to    }
{         TEST line and output lines.                                }
{                                                                    }

program CONF055(output);
type
   tstring   = packed array[1..25] of char;
   married  = (false,true);
   shape    = (triangle,rectangle,square,circle);
   angle    = 0..90;
   a        = record
               year : integer;
               month : 1..12;
               day : 1..31
              end;
   b        = record
               pname,firstpname : tstring;
               age : 0..99;
               case  married of
                  true: (spousepname : tstring);
                  false : ()
              end;
   c        = record
               case s : shape of
                  triangle : (side : real;
                              inclination,angle1,angle2 : angle);
                  square,rectangle : (side1,side2 : real;
                                      skew,angle3 : angle);
                  circle : (diameter : real)
              end;
   d        = record
              end;
   e        = record
                case married of
                  true : (spousepname : tstring);
                  false : ()
                end;
   f        = record
               i1 : integer;
               r1 : record
                     i2 : integer;
                     r2 : record
                           i3 : integer
                          end
                    end
              end;
begin
   writeln(' PASS...6.4.3.3-1 (CONF055)')
end.