From 598be4cd1bdd79e4859ae30291f4d65682cc672a Mon Sep 17 00:00:00 2001
From: Kimplul <kimi.h.kuparinen@gmail.com>
Date: Thu, 9 Jan 2025 22:26:02 +0200
Subject: initial reference checking

---
 examples/pure_move.fwd | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 examples/pure_move.fwd

(limited to 'examples/pure_move.fwd')

diff --git a/examples/pure_move.fwd b/examples/pure_move.fwd
new file mode 100644
index 0000000..a00666e
--- /dev/null
+++ b/examples/pure_move.fwd
@@ -0,0 +1,14 @@
+requires_pure(&() p)
+{
+	p();
+}
+
+main()
+{
+	20 => int twenty;
+	requires_pure() &=> {
+		/* not allowed in pure context (though primitives should maybe
+		 * be excluded just to make people's lives easier?) */
+		twenty + 10 => int thirty;
+	}
+}
-- 
cgit v1.2.3