feat: capture reassignable variable and mutable objects

[ekeren]

Prior to this change you where not able to capture any reassignable and mutable instances, this limitation was too restricting

Consider the following example where I wanted to have an onUpdate preflight api that sets a member onUpdateCallback. The onUpdateCallback should be called in inflight.

The only way to achieve this is by setting the onUpdateCallback on init.
After this change I should be able to make onUpdateCallback reassignable

bring cloud;
class KeyValueStore {
  bucket: cloud.Bucket;
  var onUpdateCallback : inflight (str): void;
  init(store: cloud.Bucket) {
    this.bucket = store;
    this.onUpdateCallback = inflight (k: str) => {};
  }

  onUpdate(fn: inflight (str):void){
    this.onUpdateCallback = fn;
  }

  inflight get(key: str): Json {
    return this.bucket.getJson(key);
  }
  inflight set(key: str, value: Json): void {
    this.onUpdateCallback(key);
    this.bucket.putJson(key, value);
  }
}

let kv = new KeyValueStore(new cloud.Bucket());
let counter = new cloud.Counter();
kv.onUpdate(inflight (key: str): void => {
  counter.inc(1, key);
});

test "main" {
  kv.set("k", Json { 
    value: "v" 
  });
  kv.get("k");
  kv.get("k");
  kv.get("k2");
  assert(counter.peek("k") == 2);
  assert(counter.peek("k2") == 1);
}

Leftovers

• Prevent reassigning and mutating lifted objects  #3069

Checklist

• Title matches Winglang's style guide
• Description explains motivation and solution
• Tests added (always)
• Docs updated (only required for features)
• Added pr/e2e-full label if this feature requires end-to-end testing

By submitting this pull request, I confirm that my contribution is made under the terms of the Monada Contribution License.

[mergify]

Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).

[mergify]

Thank you for contributing! Your pull request will be updated from main and then merged automatically (do not update manually, and be sure to allow changes to be pushed to your fork).

[monadabot]

Congrats! 🚀 This was released in Wing 0.22.18.