diff options
| -rw-r--r-- | test-files/mds-kbdc/validate-tree/invalid/assumption-assumption | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption b/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption new file mode 100644 index 0000000..3e80ddd --- /dev/null +++ b/test-files/mds-kbdc/validate-tree/invalid/assumption-assumption @@ -0,0 +1,19 @@ +assumption + assumption + end assumption +end assumption + +# (assumption (@ 1 0-10) +# (.inner +# (assumption (@ 2 2-12) +# (.inner nil) +# ) +# ) +# ) +# :2:2–12: error: nested assumption clause +# assumption +# ^^^^^^^^^^ +# :1:0–10: note: outer assumption clause defined here +# assumption +# ^^^^^^^^^^ + |