I am busy with a situation where an array of records are used in a constant
situation.

I.E.

type monthrec = record
                            month : string [10];
                            days : 1 .. 31;
                            end;

montharrays : array [1..12] of monthrec;

const montharr : montharrays = ((month : 'January';days : 31),
                                                      (month :
'february';days : 29){ ...... until December});

Now here is the question. How do I access these values in the constant. Say
I want to ask the user to enter the date in the form of YYYYMMDD and then
this will check if the date is valid.

Writeln ('enter date');
readln (d);
val (copy (d,5,2),num,err);
if num = {   NOW WHAT}

I hope you will see my problem as you can see above. I will appreciate it if
somebody can help me and put me on the right track. The book I am currently
working through, does not give a example to show you how to do it.

Thanks in advanced.

Then you could extract the day number into a variable num as you do.

Now you can test it like this:

if (num >= 1) and (num <= montharr[mnum].days) then {it's ok};

Here's an example on accessing the array by printing the #of days in the
variable month "num" (assuming it's a number between 1 and 12):