diff options
Diffstat (limited to 'examples/pure_move.fwd')
| -rw-r--r-- | examples/pure_move.fwd | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/examples/pure_move.fwd b/examples/pure_move.fwd deleted file mode 100644 index d32b9d5..0000000 --- a/examples/pure_move.fwd +++ /dev/null @@ -1,18 +0,0 @@ -requires_pure(&() p) -{ - p(); - /* ok since closure is pure */ - p(); -} - -main() -{ - 20 => int twenty; - requires_pure() &=> { - /* Try uncommenting! - * Not allowed in pure context (though primitives should maybe - * be excluded just to make people's lives easier?) - */ - // twenty + 10 => int thirty; - } -} |