summaryrefslogtreecommitdiff
path: root/tests/pvar.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2010-08-19 17:28:52 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2010-08-19 17:28:52 -0400
commit458bed0042d7bb206138ba6dce98686b056ae5c0 (patch)
tree025b60966e74a3a00397814e167b4c71e1a63783 /tests/pvar.urp
parent9da36d3a4dd89b2486b832384321c7a548ac67ca (diff)
Polymorphic variants
Diffstat (limited to 'tests/pvar.urp')
-rw-r--r--tests/pvar.urp1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/pvar.urp b/tests/pvar.urp
new file mode 100644
index 00000000..f86c4a2e
--- /dev/null
+++ b/tests/pvar.urp
@@ -0,0 +1 @@
+pvar