Are recursive sum types supported?

[avillega]

Hi, I am trying to implement a tiny lisp using V I kind of came up with this definition for an Expression sum type

enum Op {
	plus
	minus
	times
	divide
}

type Expr = Op | f64 | []Expr

When using this I will need match this way

match e {
  f64 {
  ...
  }
  Op {
  ...
  }
  []Expr {
  ...
  }
}

However the compiler is getting confused thinking that the []Expr branch in the match statement is initializing an array or a map.

What would be an idiomatic way of implementing something like this in V.

thank you!

[medvednikov]

We've never thought of using it like this, but I guess there's no reason not to allow this.

This should be possible in the new sum type implementation, right @danieldaeschle?

[danieldaeschle]

#7939

[avillega]

Sorry I couldn't create the issue yesterday it was late here in Canada

[avillega]

Just in case it is still useful here is the issue #7948

[medvednikov]

@avillega it's already been fixed by @danieldaeschle :)

[danieldaeschle]

Could you add a category called "Question" to discussions?