From df29e69e8cb89146b145a317cc15f535e52f82d8 Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@operamail.com>
Date: Thu, 11 Dec 2014 04:29:54 +0100
Subject: mds-kbdc: validate-tree: you can define functions and macros inside
 assumption-clauses
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@operamail.com>
---
 .../mds-kbdc/validate-tree/valid/assumption-macro  | 23 ++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 test-files/mds-kbdc/validate-tree/valid/assumption-macro

(limited to 'test-files/mds-kbdc/validate-tree/valid/assumption-macro')

diff --git a/test-files/mds-kbdc/validate-tree/valid/assumption-macro b/test-files/mds-kbdc/validate-tree/valid/assumption-macro
new file mode 100644
index 0000000..68d64d3
--- /dev/null
+++ b/test-files/mds-kbdc/validate-tree/valid/assumption-macro
@@ -0,0 +1,23 @@
+assumption
+  macro letter/1
+    <letter \1> : \1
+  end macro
+end assumption
+
+# (assumption (@ 1 0-10)
+#   (.inner
+#     (macro (@ 2 2-7) ‘letter/1’
+#       (.inner
+#         (map (@ 3 4-20)
+#           (.sequence
+#             (keys (@ 3 4-15) ‘<letter \1>’)
+#           )
+#           (.result
+#             (string (@ 3 18-20) ‘\1’)
+#           )
+#         )
+#       )
+#     )
+#   )
+# )
+
-- 
cgit v1.2.3-70-g09d2