Question: Consider the following declarations: 1. type cell a forward declaration 2. type cell_ptr = pointer to cell 3. x : cell 4. type cell

Consider the following declarations:
1. type cell         –– a forward declaration
2. type cell_ptr = pointer to cell
3. x : cell
4. type cell = record
5.         val : integer
6.         next : cell ptr
7. y : cell
Should the declaration at line 4 be said to introduce an alias type? Under strict name equivalence, should x and y have the same type? Explain.

Step by Step Solution

3.41 Rating (157 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

No its not an alias Line 1 is a dec... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Programming Language Pragmatics Questions!