front end does not parse certain type expressions

[Stephen Siegel]

Neither of the following can be parsed:

real*[2] grid_data;
real**[2] grid;

In the first case I am trying to make an array of length 2 in which the elements have type real* (pointer to real).

In the second case I am trying to make an array of length 2 in which the elements have type real (pointer to pointer to real).

[Stephen Siegel]

Here is another thing that cannot be parsed:

    allocate(grid[s], real*, nyl+2);

because of the real* type argument.

[ywei]

I modified the grammar to accept array of pointers. But the simplifier complained about pointer type array elements because symbolic universe doesn't have pointer type. Should I add one?

[Stephen Siegel]

The symbolic universe should not have to know anything about pointers. The value package is supposed to translate pointer values into a simple tuple representation, and I believe the symbolic package already supports tuples. I will have to check into this to see what is going on. Is there a simple example checked in?

[ywei]

If you look at the simplePointer.mmp in the pointers directory and run the JUnit test, it will fail and report an exception in simplifier.

[Stephen Siegel]

It fails because the "kind" field in SymType is null for a tuple type. It should be set to TUPLE when the tuple type is instantiated. Please fix, debug, and test the tuple functionality of the symbolic package. When you believe it is working, we can resume work on this problem.

[ywei]

I added the missing part in SymTuple class to set the type category field. Now the test threw another exception on an unbounded array.

[Stephen Siegel]

Fixed. Just needed to make null simplify to null. Will create new ticket if problems re-emerge.