From 2367a8b63c3bcfe62d1aaf7d82c0ab3622f3b16c Mon Sep 17 00:00:00 2001 From: Kimplul Date: Thu, 9 Jan 2025 23:00:01 +0200 Subject: initial ptr stuff --- examples/pure_move.fwd | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'examples/pure_move.fwd') diff --git a/examples/pure_move.fwd b/examples/pure_move.fwd index a00666e..d32b9d5 100644 --- a/examples/pure_move.fwd +++ b/examples/pure_move.fwd @@ -1,14 +1,18 @@ requires_pure(&() p) { p(); + /* ok since closure is pure */ + 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; + /* Try uncommenting! + * 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