Changes in tests/zombies/hashtable.cfa [fd54fef:87b9332]

File:

• tests/zombies/hashtable.cfa (modified) (5 diffs)

tests/zombies/hashtable.cfa

@@ -14 +14 @@
 
 
-trait has_hash( K ) {
+trait has_hash( otype K ) {
     size_t hash(K);
     int ?==?( K, K );
 };
 
-trait hkey( K, tN & | has_hash(K) ) {
+trait hkey( otype K, dtype tN | has_hash(K) ) {
     K key(tN &);
 };
 
-forall( K, tN &, tE & | $dlistable(tN, tE) | hkey(K, tN) ) {
+forall( otype K, dtype tN, dtype tE | $dlistable(tN, tE) | hkey(K, tN) ) {
 
     struct hashtable {
@@ -39 +39 @@
 }
 
-forall( K, tN &, tE & | $dlistable(tN, tE) | hkey(K, tN) | { void defaultResumptionHandler(ht_fill_limit_crossed &); } ) {
+forall( otype K, dtype tN, dtype tE | $dlistable(tN, tE) | hkey(K, tN) | { void defaultResumptionHandler(ht_fill_limit_crossed &); } ) {
 
     void ?{}( hashtable(K, tN, tE) & this, size_t n_buckets, dlist(tN, tE) *buckets ) {
@@ -57 +57 @@
 }
 
-forall( K, tN &, tE & | $dlistable(tN, tE) | hkey(K, tN) ) {
+forall( otype K, dtype tN, dtype tE | $dlistable(tN, tE) | hkey(K, tN) ) {
 
     float fill_frac( hashtable(K, tN, tE) & this ) with(this) {
@@ -124 +124 @@
 
 
-trait heaped(T &) {
+trait heaped(dtype T) {
     T * alloc( size_t );
     void free( void * ); 
@@ -133 +133 @@
 }
 
-forall( K, tN &, tE & | $dlistable(tN, tE) | hkey(K, tN) | heaped( dlist(tN, tE) ) ) {
+forall( otype K, dtype tN, dtype tE | $dlistable(tN, tE) | hkey(K, tN) | heaped( dlist(tN, tE) ) ) {
 
     struct hashtable_dynamic {