Is case var(var x, var y) a valid syntax ?

Brian Goetz brian.goetz at
Mon Sep 7 13:23:38 UTC 2020

No.   Definitely not.   

I don’t even know what you would propose that to mean!  I have a guess, but I’m order for that guess to even make sense, it would assume a model for how patterns are declared that is very different from what we have now.  

There are about a zillion places where you can use types and can’t use var: array elements, import statement, type parameters, etc.  this is just one of those. 

Sent from my iPad

> On Sep 7, 2020, at 4:28 AM, Remi Forax <forax at> wrote:
> Just a question,
> do we agree that the syntax below is valid ?
>  Point point = ...
>  switch(point) {
>    case var(var x, var y): ...
>  }
> i.e. that var can be written everywhere there is a type in a Pattern.
> Rémi

More information about the amber-spec-experts mailing list