// RUN: not toyc-ch7 %s -emit=mlir 2>&1
// The following IR is not "valid":
// - toy.print should not return a value.
// - toy.print should take an argument.
// - There should be a block terminator.
toy.func @main() {
%0 = "toy.print"() : () -> tensor<2x3xf64>
}