From a932fa1428ddcb26cf684aa50e7d124936bacd9f Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 3 Jun 2021 15:58:48 +0200
Subject: [PATCH] Pattern decomposition

---
 dataspace-patterns.prs | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/dataspace-patterns.prs b/dataspace-patterns.prs
index 2740763..bfba3ad 100644
--- a/dataspace-patterns.prs
+++ b/dataspace-patterns.prs
@@ -6,6 +6,10 @@ Pattern = DDiscard / DBind / DLit / DCompound .
 DDiscard = <_>.
 DBind = <bind @name symbol @pattern Pattern>.
 DLit = <lit @value any>.
-DCompound = @rec  <compound <rec @label any @arity int> @members { int: Pattern ...:... }>
-          / @arr  <compound <arr @arity int>            @members { int: Pattern ...:... }>
-          / @dict <compound <dict>                      @members { any: Pattern ...:... }> .
+DCompound = @rec  <compound @ctor CRec  @members { int: Pattern ...:... }>
+          / @arr  <compound @ctor CArr  @members { int: Pattern ...:... }>
+          / @dict <compound @ctor CDict @members { any: Pattern ...:... }> .
+
+CRec = <rec @label any @arity int>.
+CArr = <arr @arity int>.
+CDict = <dict>.