Crossing the Impossible FFI Boundary, and My Gradual Descent Into Madness (Vale) (
from to on 17 Jun 17:49

Adding Rust FFI into Vale, in particular the part where the Vale compiler determines the signature and proper overload of a Rust function.

Our ultimate goal is to write this Vale code:

import rust.std.vec.Vec;

exported func main() {
  vec = Vec<int>.with_capacity(42);
  println("Length: " + vec.capacity());
Length: 42

…which would successfully make a Rust Vec and call capacity on it.



threaded - newest