//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// polymorphism.c --
//
// Author           : Rob Schluntz
// Created On       : Tue Oct 17 12:19:48 2017
// Last Modified By : Rob Schluntz
// Last Modified On : Tue Oct 17 12:21:07 2017
// Update Count     : 1
//

forall(otype T)
T f(T x, T y) {
  x = y;
  return x;
}

int main() {
  // ensure that x is not changed by the invocation of a polymorphic function
  int x = 123;
  int y = 456;
  int z = f(x, y);
  printf("%d %d %d\n", x, y, z);
}

// Local Variables: //
// tab-width: 4 //
// End: //