Got rid of some unnecessary files and semicolons

harmonylang · Dec 19, 2023 · 4c6def1 · 4c6def1
1 parent f127335
commit 4c6def1
Show file tree

Hide file tree

Showing 12 changed files with 8 additions and 264 deletions.
diff --git a/code/2pc1.hny b/code/2pc1.hny
diff --git a/code/2pc2.hny b/code/2pc2.hny
diff --git a/code/BBsema.hny b/code/BBsema.hny
diff --git a/code/BBsematest.hny b/code/BBsematest.hny
diff --git a/code/DinersCV.hny b/code/DinersCV.hny
@@ -21,7 +21,7 @@ def diner(which):
  # dine
  synch.acquire(?mutex)
  forks[left] = forks[right] = False
- synch.notify(?conds[left]);
+ synch.notify(?conds[left])
  synch.notify(?conds[right])
  synch.release(?mutex)
  # think

diff --git a/code/RWhoare.hny b/code/RWhoare.hny
diff --git a/code/RWqueue.hny b/code/RWqueue.hny
diff --git a/code/paxos1.hny b/code/paxos1.hny
diff --git a/code/paxos2.hny b/code/paxos2.hny
diff --git a/code/qsort.hny b/code/qsort.hny
@@ -2,15 +2,15 @@ def Qsort(arr) returns state:
  state = { .arr: arr, .todo: { (0, len(arr) - 1) } }
 
 def swap(p, q): # swap !p and !q
- !p, !q = !q, !p; 
+ !p, !q = !q, !p
 
 def partition(qs, lo, hi) returns pivot:
  pivot = lo
  for i in {lo..hi - 1}:
  if qs->arr[i] <= qs->arr[hi]:
  swap(?qs->arr[pivot], ?qs->arr[i])
  pivot += 1
- swap(?qs->arr[pivot], ?qs->arr[hi]); 
+ swap(?qs->arr[pivot], ?qs->arr[hi])
 
 def sortrange(qs, range):
  let lo, hi = range let pivot = partition(qs, lo, hi):

diff --git a/code/qsorttest.hny b/code/qsorttest.hny
@@ -6,4 +6,4 @@ a = [ choose({1..NITEMS}) for i in {1..choose({1..NITEMS})} ]
 testqs = qsort.Qsort(a)
 sa = qsort.sort(?testqs)
 assert all(sa[i - 1] <= sa[i] for i in {1..len(sa)-1}) # sorted?
-assert bag.fromList(a) == bag.fromList(sa); # is it a permutation?
+assert bag.fromList(a) == bag.fromList(sa) # is it a permutation?
diff --git a/code/rwlock_cheat.hny b/code/rwlock_cheat.hny
@@ -4,13 +4,13 @@ def RWlock() returns lock:
  lock = synch.Lock()
 
 def read_acquire(rw):
- synch.acquire(rw);
+ synch.acquire(rw)
 
 def read_release(rw):
- synch.release(rw);
+ synch.release(rw)
 
 def write_acquire(rw):
- synch.acquire(rw);
+ synch.acquire(rw)
 
 def write_release(rw):
- synch.release(rw);
+ synch.release(rw)