daily pastebin goal
13%
SHARE
TWEET

Untitled

a guest Dec 16th, 2018 69 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. type Student record {
  2.     int score = 0;
  3. };
  4.  
  5. type Person record {
  6.     int age = 0;
  7.     Student std;
  8. };
  9.  
  10. function increment(Person p) {
  11.   lock {
  12.     p.std.score = p.std.score + 1;
  13.   }
  14. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top