quint icon indicating copy to clipboard operation
quint copied to clipboard

Lambda unpacking doesn't work for nested tuples

Open bugarela opened this issue 1 year ago • 0 comments

Our tuple unpacking in lambdas only works for the top level.

module A {
  // works
  val foo = Set((1, true), ((2, false)).map((i, b) => if (b) i else 0)

  // doesn't parse
  val bar = Set(((1, "a"), true), ((2, "b"), false)).map(((i, s), b) => if (b) i else 0)
}

bugarela avatar Jan 12 '24 13:01 bugarela