Example

invalid_tuple_let_duplicate.kina

Expected rejection

This program is intentionally invalid. The compiler should reject its type or shape.

Source

let f = fn(w: tensor<F32, [4, 8], @host>) -> tensor<F32, [4, 8], @host> {
  let y = -w in
  y
} in
let w = tensor<F32, [4, 8], @host> in
let (g, g) = handle f(w) with reverseMode in
g