source: src/tests/avltree/avl0.c @ 03b812d2

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsctordeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxmemorynew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumresolv-newwith_gc
Last change on this file since 03b812d2 was 3dcd347a, checked in by Thierry Delisle <tdelisle@…>, 8 years ago

moved some more tests to new test folder

  • Property mode set to 100644
File size: 288 bytes
RevLine 
[6e3ae00]1#include "avl.h"
2
3forall(otype T | Comparable(T))
4int ?==?(T t1, T t2) {
5  return !(t1 < t2) && !(t2 < t1);
6}
7
8forall(otype T | Comparable(T))
9int ?>?(T t1, T t2) {
10  return t2 < t1;
11}
12
13forall(dtype T | { void ^?{}(T *); })
14void delete(T * x) {
15  if (x) {
16    ^?{}(x);
17    free(x);
18  }
19}
Note: See TracBrowser for help on using the repository browser.