Non-type template parameters

The following code creates parser errors :

/** n-sized array of type T */
template <size_t n, typename T>
struct TArray
{
  T t;
/**  --> */ TArray<n - 1, T> u;
};

[guwirth]

Which compiler are you using to develop the code?

g++ (GCC) 4.8.1

Additionally, to compile, you will need :

template <typename T>
struct TArray<0, T>
{
  T t;
};

[guwirth]

Problem can be reduced to:

TArray<n-1, T> u; // fails
S<n-1> s; // fails
S<10-1> s; // ok

[guwirth]

This seems to be the route cause. Maybe @ametselaar you have an idea how to fix it?

b.rule(templateArgument).is(
      b.firstOf(
        typeId,

        // FIXME: workaround to parse stuff like "carray<int, 10>"
        // actually, it should be covered by the next rule (constantExpression)
        // but it doesnt work because of ambiguity template syntax <--> relationalExpression
        shiftExpression,
        constantExpression,
        idExpression
      )
    );

[ametselaar]

I think I have the solution in my parse-gcc-extensions branch, but I failed to come up with the right git commands to produce a proper pull request.

[guwirth]

@ametselaar Tried to branch and rebase but there are too many conflicts. Which commit number contains the fix?