diff options
Diffstat (limited to 'research/experiments/044-specs/probes-027/p6b-variant-field.aup')
| -rw-r--r-- | research/experiments/044-specs/probes-027/p6b-variant-field.aup | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/research/experiments/044-specs/probes-027/p6b-variant-field.aup b/research/experiments/044-specs/probes-027/p6b-variant-field.aup new file mode 100644 index 0000000..2b1504a --- /dev/null +++ b/research/experiments/044-specs/probes-027/p6b-variant-field.aup @@ -0,0 +1,11 @@ +record Leaf { + v = 0 +} +variant X { + leaf(Leaf) + word(text) +} +record Holder { + x: X +} +state xs: list of Holder |