source: libcfa/src/containers/pair.hfa @ fd54fef

ADTarm-ehast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since fd54fef was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 3 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: 1.1 KB
RevLine 
[eaa5043]1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// pair --
8//
9// Author           : Aaron Moss
10// Created On       : Wed Apr 12 15:32:00 2017
[6b0b624]11// Last Modified By : Peter A. Buhr
12// Last Modified On : Sat Jul 22 09:59:53 2017
13// Update Count     : 2
[eaa5043]14//
15
[6b0b624]16#pragma once
[eaa5043]17
[fd54fef]18forall(R, S) struct pair {
[eaa5043]19        R first;
20        S second;
21};
22
[fd54fef]23forall(R, S
[eaa5043]24        | { int ?==?(R, R); int ?<?(R, R); int ?<?(S, S); })
25int ?<?(pair(R, S) p, pair(R, S) q);
26
[fd54fef]27forall(R, S
[eaa5043]28        | { int ?==?(R, R); int ?<?(R, R); int ?<=?(S, S); })
29int ?<=?(pair(R, S) p, pair(R, S) q);
30
[fd54fef]31forall(R, S | { int ?==?(R, R); int ?==?(S, S); })
[eaa5043]32int ?==?(pair(R, S) p, pair(R, S) q);
33
[fd54fef]34forall(R, S | { int ?!=?(R, R); int ?!=?(S, S); })
[eaa5043]35int ?!=?(pair(R, S) p, pair(R, S) q);
36
[fd54fef]37forall(R, S
[eaa5043]38        | { int ?==?(R, R); int ?>?(R, R); int ?>?(S, S); })
39int ?>?(pair(R, S) p, pair(R, S) q);
40
[fd54fef]41forall(R, S
[eaa5043]42        | { int ?==?(R, R); int ?>?(R, R); int ?>=?(S, S); })
43int ?>=?(pair(R, S) p, pair(R, S) q);
44
45// Local Variables: //
46// mode: c //
47// tab-width: 4 //
48// End: //
Note: See TracBrowser for help on using the repository browser.