[Grace-core] Some comments from Tijs on parsing Grace

[Andrew P. Black]

> On 24 Jul 2016, at 5:24, James Noble <kjx at ecs.vuw.ac.nz> wrote:
> 
> I can see how that works, but not how explicit and implicit arguments are distinguished.

It’s simple.  If you want explicit type parameters, you put them in, using the ordinary parameter syntax and specifying that their type is Type.  If you don’t want explicit type parameters, you do what is shown in the pdf extract .
> 
>> — no type arguments necessary.  
> 
> no explicit type arguments necessary on the caller side

In Emerald, the number of arguments must always be the same as the number of parameters.  There are no defaults.

	Andrew