source: tests/avltree/avl0.cfa @ 08e0d65

Last change on this file since 08e0d65 was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 4 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.
  • Property mode set to 100644
File size: 173 bytes
RevLine 
[6e3ae00]1#include "avl.h"
2
[fd54fef]3forall(T | Comparable(T))
[6e3ae00]4int ?==?(T t1, T t2) {
5  return !(t1 < t2) && !(t2 < t1);
6}
7
[fd54fef]8forall(T | Comparable(T))
[6e3ae00]9int ?>?(T t1, T t2) {
10  return t2 < t1;
11}
Note: See TracBrowser for help on using the repository browser.