diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2026-05-01 22:43:13 +0300 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2026-05-01 22:43:13 +0300 |
| commit | db3809488805fbdcd9d726d9ed45ad7335812bd1 (patch) | |
| tree | dcf1ceb68a7d77733a474825a9804fe99d253b48 /examples/pure_move.fwd | |
| parent | f1e9860ab638594e95db0ada848157b860eeb831 (diff) | |
| download | fwd-db3809488805fbdcd9d726d9ed45ad7335812bd1.tar.gz fwd-db3809488805fbdcd9d726d9ed45ad7335812bd1.zip | |
+ Might come up with proper examples at some point, but for now tests at
least tell us if they're broken
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; - } -} |
