aboutsummaryrefslogtreecommitdiffstats
path: root/research/experiments/044-specs/probes/p6-variant.aup
diff options
context:
space:
mode:
Diffstat (limited to 'research/experiments/044-specs/probes/p6-variant.aup')
-rw-r--r--research/experiments/044-specs/probes/p6-variant.aup2
1 files changed, 2 insertions, 0 deletions
diff --git a/research/experiments/044-specs/probes/p6-variant.aup b/research/experiments/044-specs/probes/p6-variant.aup
new file mode 100644
index 0000000..35f12fc
--- /dev/null
+++ b/research/experiments/044-specs/probes/p6-variant.aup
@@ -0,0 +1,2 @@
+record Leaf { v = 0 }
+state x: Leaf | text = ""