diff options
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; } } |