Example

invalid_tuple_let_arity.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 (y, g, extra) = handle f(w) with reverseMode in
y