ptal / bonsai

Programming language based on the synchronous and constraint paradigms
Apache License 2.0
15 stars 0 forks source link

Resolution of Java object attributes panics #7

Open ptal opened 5 years ago

ptal commented 5 years ago
  public proc bug() =
    single_space LMax depth = 2;
    System.out.println(depth.value);
  end

with assert:

thread 'main' panicked at 'assertion failed: `(left == right)`
  left: `Spacetime(SingleSpace)`,
 right: `Host`: depth', src/middle/resolve.rs:76:9

NOTE: the code above is not right anyway since value is private in LMax. However it should be triggered at the Java compilation stage, not at the Bonsai compilation stage.