diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-01-09 23:00:01 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2025-01-09 23:00:01 +0200 |
| commit | 2367a8b63c3bcfe62d1aaf7d82c0ab3622f3b16c (patch) | |
| tree | 3cef502c8bd0dfad3b6a119efef6b71bba8d1e5b /examples/pure_move.fwd | |
| parent | 598be4cd1bdd79e4859ae30291f4d65682cc672a (diff) | |
| download | fwd-2367a8b63c3bcfe62d1aaf7d82c0ab3622f3b16c.tar.gz fwd-2367a8b63c3bcfe62d1aaf7d82c0ab3622f3b16c.zip | |
initial ptr stuff
Diffstat (limited to 'examples/pure_move.fwd')
| -rw-r--r-- | examples/pure_move.fwd | 10 |
1 files changed, 7 insertions, 3 deletions
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; } } |