diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/ptrs.fwd | 22 | ||||
| -rw-r--r-- | examples/pure_move.fwd | 10 | ||||
| -rw-r--r-- | examples/references.fwd | 6 |
3 files changed, 33 insertions, 5 deletions
diff --git a/examples/ptrs.fwd b/examples/ptrs.fwd new file mode 100644 index 0000000..a0f8aac --- /dev/null +++ b/examples/ptrs.fwd @@ -0,0 +1,22 @@ +fwd_null(auto x, () null, (&auto) ok); +fwd_copy(auto x, (auto, auto) ok); +fwd_println(auto x); +fwd_intalloc((*int) ok); + +main() +{ + fwd_intalloc() => *int i; + fwd_copy(i) => *int i1, *int i2; + + /* convert raw pointer to reference, unsure if this should be a + * built-in or a library feature */ + fwd_null(i1) => { + fwd_println("Pointer was null"); + /* error out or something */ + } => &int i; + + fwd_println(i); + + /* Try uncommenting, deref of raw pointer is not allowed! */ + // i* + 20 => int something; +} 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; } } diff --git a/examples/references.fwd b/examples/references.fwd index 468f4a0..5b73aaf 100644 --- a/examples/references.fwd +++ b/examples/references.fwd @@ -16,7 +16,9 @@ main() /* references are not active anymore so we can reference again */ references(twenty&, thirty&) => { - /* not ok since twenty/thirty is actively borrowed */ - twenty + thirty => int fifty; + /* Try uncommenting! + * Not ok since twenty/thirty is actively borrowed + */ + // twenty + thirty => int fifty; }; } |