examples/pure_move.fwd


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

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;
	}
}