pub input r() -> (b:u2)
pub output o(b:u1) -> (b:u2)
fn main() {
o[0] = r[]
}
gives out
panic: runtime error: index out of range [0] with length 0 [recovered]
panic: runtime error: index out of range [0] with length 0
and this
pub input r() -> (b:u32)
pub output o(b:u1) -> (b:u32)
fn main() {
o[0] = r[0]
}
gives out
too many arguments (expected 0)
o[0] = r[0]
^^^^
gives out
and this
gives out