Compilers: Principles and Practice by Pearson

168 Compilers – Principles and Practice

dlist: VAR { type($l) = type($<sym>0); }

| dlist ’,’ VAR { type($3) = type($<sym>0); }

;

In languages like C which allow complex data types, we require more sophisti cated methods for

defining the type of an identifier or expression.

6.2 Type Expressions and Type Constructors

One obvious way of representing a complex data type is to show how it is arrived at by means of a tree

structure. For example, consider the following declarations and definition.

int a[100];

This can be represented by a tree as:

array

int 100

struct my {

float f[20];

int *pi;

} b[5];

This array of struct definition can be represented ...