blob: a0f8aaccc493917e4056641e48927d535e608631 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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;
}
|
