diff options
Diffstat (limited to 'examples/opt_group.fwd')
| -rw-r--r-- | examples/opt_group.fwd | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/examples/opt_group.fwd b/examples/opt_group.fwd deleted file mode 100644 index e520c70..0000000 --- a/examples/opt_group.fwd +++ /dev/null @@ -1,14 +0,0 @@ -do_something(() a | () b) -{ - a(); - - /* should fail, since either a or b should be called, but not both */ - b(); -} - -main() -{ - do_something() - => {} - => {} -} |
