Index: src/tests/.expect/polymorphism.txt
===================================================================
--- src/tests/.expect/polymorphism.txt	(revision aabc60c0994c2f07ad493223fedfaaf178c15bfe)
+++ src/tests/.expect/polymorphism.txt	(revision aabc60c0994c2f07ad493223fedfaaf178c15bfe)
@@ -0,0 +1,1 @@
+123 456 456
Index: src/tests/polymorphism.c
===================================================================
--- src/tests/polymorphism.c	(revision aabc60c0994c2f07ad493223fedfaaf178c15bfe)
+++ src/tests/polymorphism.c	(revision aabc60c0994c2f07ad493223fedfaaf178c15bfe)
@@ -0,0 +1,32 @@
+//
+// 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: //