examples/pure_move.fwd


1
2
3
4
5
6
7
8
9
10
11
12
13
14

requires_pure(&() p)
{
	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;
	}
}